Skip to content


  • Arctic Code Vault Contributor
  • Pro


  1. An efficient proof language

    JavaScript 1.3k 52

  2. Massively parallel GPU programming on JavaScript, simple and clean.

    JavaScript 1.1k 57

  3. A modern syntax for the λ-calculus.

    Haskell 377 12

  4. A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

    Rust 290 12

  5. A minimal proof language.

    JavaScript 173 9

  6. Referendos criptograficamente incorruptíveis.

    JavaScript 37 2

2,253 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.