Showing 5 of 5 projects
A JVM bytecode backend for Idris 2, enabling Idris programs to run on the Java Virtual Machine.
A curated list of awesome resources for the Idris programming language, including libraries, tools, books, and articles.
A programming language-agnostic algebraic data type definition language based on polynomials.
A formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.
A lightweight parser combinator library for Idris, inspired by Parsec, with backtrack-by-default behavior.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.