Block or report user

Report or block A-Manning

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro
  • Tel Aviv

Pinned repositories

  1. atom-fstar

    Forked from FStarLang/atom-fstar

    Syntax highlighting for F* in Atom Editor

    Shell 3

  2. FStar

    Forked from FStarLang/FStar

    An ML-like language aimed at program verification

    F* 2 1

  3. JoelBesada/activate-power-mode

    Atom package - Activate POWER MODE to write your code in style.

    CoffeeScript 3.5k 444

  4. FStarLang/FStar

    Verification system for effectful programs

    F* 1.4k 120

407 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2019

Seeing something unexpected? Take a look at the GitHub profile guide.