Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Popular repositories

  1. A program to randomly generate (basic) murder parties

    OCaml 8 2

  2. A Coq formalisation of the R programming language

    R 4

  3. Coq for politicians

    Coq 4 1

  4. Imagine a Rogue-like medieval world whose magic is made of… JavaScript.

    JavaScript 1

  5. An experimental programming language

    OCaml 1

831 contributions in the last year

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

Contribution activity

October 2020

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

You can’t perform that action at this time.