Idris

typedefstypedefs/typedefs

A programming language-agnostic algebraic data type definition language based on polynomials.

idris-ctstatebox/idris-ct

A formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.

lightyearziman/lightyear

A lightweight parser combinator library for Idris, inspired by Parsec, with backtrack-by-default behavior.

iridiumpuffnfresh/iridium

A tiling window manager based on xmonad but written in Idris with X11 abstraction and Idris-based configuration.

Idris Koansidris-hackers/idris-koans

An interactive learning environment for Idris and functional programming through fixing failing code exercises.

dbcriticchannable/dbcritic

A PostgreSQL database schema linter that identifies schema problems like missing primary keys and unindexed foreign keys.

quantitiestimjb/quantities

A library for type-safe physical computations and unit conversions in Idris, ensuring dimensional correctness.

OrderTakingandorp/order-taking

A dependently-typed Idris implementation of Domain-Driven Design concepts from 'Domain Modeling Made Functional', deployed as a Node.js microservice.

idris-type-providersdavid-christiansen/idris-type-providers

A type provider library for Idris that enables compile-time verification of external data like SQLite queries.

IdrisScriptidris-hackers/IdrisScript

FFI bindings for Idris to safely interact with JavaScript, enabling web and Node.js development.

recursion_schemesvmchale/recursion_schemes

A library providing recursion schemes for the Idris programming language, based on functional programming patterns.

specdrispheymann/specdris

A spec-like unit testing framework for the Idris programming language.

IdrisSqlitedavid-christiansen/IdrisSqlite

Effectful SQLite bindings for Idris with a type provider for compile-time query validation.

idris-httpuwap/idris-http

An HTTP library for Idris 0.12.3 providing HTTP client and server functionality.

probabilityBlackBrane/probability

A library for probabilistic computation and visualization in Idris, leveraging functorial, applicative, and monadic structures.

Ikanidris-industry/ikan

A next-generation package manager and build tool for Idris, written in Idris with a free monad DSL.

idris-protobufgoogle/idris-protobuf

A partial implementation of Protocol Buffers in Idris, leveraging dependent types for type-safe serialization without code generation.