Idris
5 projects
Showing 5 of 5 projects
idris-jvmIdris
A JVM bytecode backend for Idris 2, enabling Idris programs to run on the Java Virtual Machine.
#java-interop#functional-programming#idris
Stars481
Forks28
Last commit3 days ago
IdrisIdris
A curated list of awesome resources for the Idris programming language, including libraries, tools, books, and articles.
#programming-language#haskell#functional-programming
Stars412
Forks19
Last commit6 years ago
typedefsIdris
A programming language-agnostic algebraic data type definition language based on polynomials.
#polynomial-functors#serialization-library#category-theory
Stars371
Forks18
Last commit2 years ago
idris-ctIdris
A formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.
#mathematics#functional-programming#library
Stars271
Forks26
Last commit5 years ago
lightyearIdris
A lightweight parser combinator library for Idris, inspired by Parsec, with backtrack-by-default behavior.
#parsing#functional-programming#idris
Stars244
Forks43
Last commit7 years ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.