GitHub Trending Idris

A purely functional programming language with first class types

Facilities for generating dependently-typed data

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

A programming-language & a proof-assistant based on *extensional* Dependent Type Theory

Exercism exercises in Idris.

Personal playground for Idris stuff

Idris on the JVM

Linear mutable References and Utilities

Language Server for Idris2

No repository description provided.

A testing framework for Idris 2 - BDD with decidable equality.

Generating fast Lexers from an Idris2 DSL

Harmonize with coworkers around GitHub reviewing.

Immutable and mutable (linear) arrays

Rich Terminal UI framework for Idris2

An Idris port of the Haskell Hedghog library

Idris2 bindings to the sqlite3 C-API

A chemical drawing tool for the browser

Concurrency and streaming in interactive web pages

No repository description provided.

code example for using Idris with a libuv-based async C runtime

Idris 2 HTTP Api Server

Automatically derivable JSON marshallers in the spirit of Haskell's aeson

Immutable byte vectors in Idris2.

A comprehensive tutorial for the Idris2 programming language

Adventures in being positively negative when deciding things in Idris.

Assorted concrete container types

Parameterised algebraic effects library and language

No repository description provided.

Lawful algebraic structures in Idris2