United States

Asher Frost

Intermediate
@wizard7377

Just some random high school student who knows a little type theory

choice. DEPRACATED: Moved to https://github.com/wizard7377/idris-logic

5

LLVM. A pure Idris interface to LLVM IR.

3

SHIFT. Lamed calculus

2

shibboleth. OCaml

2

ArticleTemplate. A template for LaTeX articles

1

idris-mult. Idris

1

discPro. JavaScript

1

twelf_old. The Twelf Programming Language

1

idris-girard. Idris

1

stelf. A port of the Twelf implementation of the Logical Framework to OCaml

1
10
Apply