Idris
Showing 22 of 22 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.
A tiling window manager based on xmonad but written in Idris with X11 abstraction and Idris-based configuration.
A modern, fast package manager for the Idris programming language.
An interactive learning environment for Idris and functional programming through fixing failing code exercises.
A PostgreSQL database schema linter that identifies schema problems like missing primary keys and unindexed foreign keys.
A library for type-safe physical computations and unit conversions in Idris, ensuring dimensional correctness.
A dependently-typed Idris implementation of Domain-Driven Design concepts from 'Domain Modeling Made Functional', deployed as a Node.js microservice.
A type provider library for Idris that enables compile-time verification of external data like SQLite queries.
FFI bindings for Idris to safely interact with JavaScript, enabling web and Node.js development.
An LLVM backend code generator for the Idris programming language.
Experimental Idris compiler backend that generates Malfunction code for improved performance.
A library providing recursion schemes for the Idris programming language, based on functional programming patterns.
A spec-like unit testing framework for the Idris programming language.
Effectful SQLite bindings for Idris with a type provider for compile-time query validation.
An HTTP library for Idris 0.12.3 providing HTTP client and server functionality.
A library for probabilistic computation and visualization in Idris, leveraging functorial, applicative, and monadic structures.
A partial implementation of Protocol Buffers in Idris, leveraging dependent types for type-safe serialization without code generation.
A next-generation package manager and build tool for Idris, written in Idris with a free monad DSL.
Related Tags
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.