Stars
9
stars
written in Idris
Clear filter
A purely functional programming language with first class types
A core language and API for dependently typed languages
Utilities and documentation for exploring idirs2's new elaborator reflection.
Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
Adventures in being positively negative when deciding things in Idris.
A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.