Idris
Visual Studio Code integration for the Idris 2 language server
Idris version of Domain Modeling Made Functional Book.
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
A portable idris2 implementation of TLS
edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr…
Various Dockerfiles I use on the desktop and on servers.
Software Foundations in Idris
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
Axioms and Propositions for Primitives in Idris2
A Dependently Typed Functional Programming Language
A hobby implementation of an ncurses binding for Idris 2
Various data structures for use in the Idris Language.
Experiments in implementing functional data structures in Idris
Accelerated machine learning with dependent types