Skip to content
pivoting to video
pivoting to video


  • Arctic Code Vault Contributor
  • Pro




  1. The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

    OCaml 48 1

  2. The dash shell as a linkable library. Tracks, with extended interfaces and OCaml bindings.

    C 8 3

  3. Mirror of Wordpress plugin for obfuscating email addresses.

    PHP 2 3

  4. Kleene algebra modulo theories

    OCaml 7

  5. Topic Modeling in Programming Languages

    JavaScript 5 2

  6. Safely running potentially non-terminating functions in Elm.

    JavaScript 7 1

1,265 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Activity overview
Contributed to mgree/crossbars, mgree/mgt, mgree/smoosh and 5 other repositories

Contribution activity

August 2020

17 contributions in private repositories Aug 3 – Aug 13

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

You can’t perform that action at this time.