Skip to content


  • Arctic Code Vault Contributor
  • Pro


  1. Introduction to programming language theory in Agda

    Agda 806 163

  2. AutoInAgda Archived

    Proof automation – for Agda, in Agda.

    Agda 37 7

  3. A library for deadlock-free session-typed communication in Rust.

    Makefile 17

  4. An AI for a *very distant* cousin of '20 questions'.

    JavaScript 1

  5. A framework for natural language syntax and semantics based on type theory.

    Haskell 11

  6. wherein I implement several substructural logics in Agda

    Agda 23 2

482 contributions in the last year

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

Contribution activity

August 2020

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

You can’t perform that action at this time.