Top 72 Idris open source projects

A Dependently Typed Functional Programming Language

Malfunction backend for Idris with a FFI to OCaml

Transducers for Idris: a library for composable algorithmic transformation.

TypeScript client for Idris IDE-mode.

van Laarhoven lenses for Idris

An Idris type provider for communicating type-checkable protocols.

New version of Effects library with dependent states

Parsers for various configuration files written in Idris.

A test framework for Idris

Experimental effects library for Idris 2

Total Logic-Less Templating Library

Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.

A Go backend for Idris

Package manager for Idris

GRIN backend for Idris2

Marrying research in probabilistic modelling, language theory and hardware accelerators.

Experiments with modal types

A minimal example of the Idris C FFI

Idris version of Domain Modeling Made Functional Book.

SPSC: A Small Positive Supercompiler

Ring solver for Idris

Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.

A Plugin to use Idris with Sublime

No description, website, or topics provided.

FFI Bindings to interact with the unsafe world of JavaScript

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!

Idris tactics for (commutative) monoids

Github project where I track everything related to my thesis

A small bifunctor library for idris

Javascript DOM bindings for Idris2

Functional Programing in Scala (in Idris) [Idris]

No description, website, or topics provided.

An unofficial Idris2 package repository for Nix

A recursion scheme library for Idris.

Provides a type-safe way of working with permutations in Idris

Extensible records for Idris

Idris Lib to interact with the DOM and Browser API for the JavaScript backend

Functional Pearl: Certified Binary Search in a Read-Only Array

Homotopy Type Theory proofs in Idris

Where my everyday research happens

Experimental Malfunction backend for Idris

Effectful bindings for SQLite (forked from IdrisWeb)

An attempt at writing C libraries in Rust that can be called from Idris

A small profunctor library for idris

GRIN backend for Idris

A port of QuickCheck to Idris

No description, website, or topics provided.

Idris, but it's C

Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.

Dhall bindings for Idris