Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by idris-lang
A curated list of projects in awesome lists by idris-lang .
https://github.com/idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Last synced: 01 Aug 2024
https://github.com/idris-lang/Idris2
A purely functional programming language with first class types
compiler dependent-types hacktoberfest
Last synced: 01 Aug 2024