linear - Profunctor optics for linear types.
States - State machines in Idris.
Blodwen - Prototype implementation of Idris 2.
Idris 2 - Pre-alpha implementation of Idris 2, the successor to Idris.
Typedefs - Programming language-agnostic, algebraic data type definition language, written in Idris.
Elba - Package manager for Idris.
Statebox's FSM-Oracle - Finite state machines as graphs.
libc.idr - Bindings to the C standard library for Idris2.
Inigo - Package manager for Idris 2 to help use and share Idris code.
SPLV 2020 - Course notes and supporting code for the Scottish Programming Language and Verification summer school course on "The Implementation of Idris 2".