mjustus

Pinned Repositories

Idris2
A purely functional programming language with first class types
Language:Idris2.5k 63 1.2k375
freshtt
A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
Language:OCaml1 1 01
idris-core
Language:TeX4 1 02
idris-soas
Language:Idris00
Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
levitation
Language:TeX0 1 00
prelude
Language:OCaml0 1 00
tt
Type checker for pure MLTT using well-scoped de Bruijn indices
Language:OCaml0 1 00
Yaffle
A core language and API for dependently typed languages
Language:Idris0 0 00
lwt
OCaml promises and concurrent I/O
Language:OCaml714 41 504176

mjustus's Repositories

mjustus/idris-core
Language:TeX4 1 02
mjustus/freshtt
A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
Language:OCaml1 1 01
mjustus/idris-soas
Language:Idris00
mjustus/Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
mjustus/levitation
Language:TeX0 1 00
mjustus/prelude
Language:OCaml0 1 00
mjustus/tt
Type checker for pure MLTT using well-scoped de Bruijn indices
Language:OCaml0 1 00
mjustus/Yaffle
A core language and API for dependently typed languages
Language:Idris0 0 00