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".
idris2-elab-util - Utilities and documentation for exploring idirs2's new elaborator reflection.
idris2-sop - Idris port of Haskell's sop-core and generic-sop libraries.
Idrall - Dhall bindings for Idris.
idris-ide-client - TypeScript library for communicating with an Idris IDE process.
Interacting with Idris from Racket - Racket library for interacting with Idris over the IDE protocol.
Idris Ecosystem - List of popular libraries in the Idris ecosystem.
SAE (Solver of All Equations) - Idris 2 build tool and a package manager.