Links

• ​The Power of Types in Idris (2019)​

• ​Idris koans​

• ​Awesome Idris​

• ​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.

• ​Edwin Brady - Idris 2 - Type-driven Development of Idris (2019)​

• ​Software Foundations in Idris​

• ​Typedefs - Programming language-agnostic, algebraic data type definition language, written in Idris.

• ​Linearity and Erasure in Idris 2 (2020)​

• ​A game in a pure language (part 1): introduction and problems with Idris (2020)​

• ​Linearity and Erasure in Idris 2 (2020)​

• ​Collection of Idris snippets​

• ​Elba - Package manager for Idris.

• ​Statebox's FSM-Oracle - Finite state machines as graphs.

• ​Idris 2: Quantitative Type Theory in Action (Web)

• ​Self-hosted Idris 2​

• ​Why is Idris 2 so much faster than Idris 1? (2020) (HN) (Reddit)

• ​Scheme Workshop Keynote: Edwin Brady (2019)​

• ​Type-Driven Development with Idris book (Updates required) (Code)

• ​libc.idr - Bindings to the C standard library for Idris2.

• ​Edwin Brady Tells Us What's New in Idris 2 (2020)​

• ​A simple Parser Combinator library in Idris (2020)​

• ​Idris 2 Erlang - Erlang code generator for Idris 2. (HN)

• ​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".

• ​Metaprogramming in Idris (2020)​

• ​Idris, a language that will change the way you think about programming (2020)​

• ​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.

• ​Session types in Idris2​

• ​Effectful Streaming For Idris​

• ​Idris AOC (2020)​

• ​Idrall - Dhall bindings for Idris.

• ​What Is A Package Set (2020)​

• ​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.

• ​Idris 2 Template​