Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
idris-awesomeness
https://github.com/DejanMilicic/idris-awesomeness
- kolgut-api : Schema-safe http api using Idris+Rust
- lightyear: Parser combinators for Idris
- A simple Parser Combinator library in Idris
- idringen : a project manage tool for Idris
- Inigo
- Lightning Intro to Functional Programming and Dependent Types with Idris
- An Interactive Introduction to Dependent Types with Idris
- The Implementation of Idris 2
- Elaborator Reflection: Extending Idris in Idris
- Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation
- Chris Okasaki: Purely Functional Data Structures
- A tutorial implementation of a dependently typed lambda calculus
- Conor McBride: Dependently Typed Functional Programs and their Proofs
- Philip Wadler: Theorems for free!
- David Raymond Christiansen: Practical Reflection and Metaprogramming for Dependent Types
- David Raymond Christiansen: Looking Outward: When Dependent Types Meet I/O
- A Dependently Typed Library for Static Information-Flow Control in Idris - [GitHub](https://github.com/simongregersen/DepSec)
- Dependent Types: Level Up Your Types by Marco Syfrig
- Software Foundations