A purely functional programming language with first class types

Utilities and documentation for exploring idirs2's new elaborator reflection.

CouchDB v2.x Python 3 interface in a single module. Also a command line tool.

The Dart backend for Idris 2.

Idris2

A dependently typed programming language, a successor to Idris

A Material Design CSS only framework

A Dependently Typed Functional Programming Language

Parser combinators for Idris

Learn you an Agda (and achieve enlightenment)

Server and client code for the Elm website.

Compiler for Elm, a functional language for reliable webapps.

Haskell to Javascript compiler (via GHC)