A purely functional programming language with first class types

xmonad with the X11 abstracted and configured with Idris

Language Server for Idris2

Accelerated machine learning with dependent types

A Graphics Library for Idris 2.

Javascript DOM bindings for Idris2

Idris port of Haskell's sop-core library

Lua backend for Idris 2

An implementation of questionnaires using dependent types