A core language and API for dependently typed languages

Tree Sitter grammar for Idris 2

A TOML parser for Idris 2

A core language and API for dependently typed languages

Idris2 (s)imple (a)rgument (p)arser

Package manager for Idris

Experimental JS bindings for idris2-rhone

A package set for idris2

Idris Version Manager

Dhall bindings for Idris

Inigo: A Package Manager for Idris2

A purely functional programming language with first class types

Language Server for Idris2

A dependently typed programming language, a successor to Idris

Lua backend for Idris 2

Erlang code generator for Idris 2

The Dart backend for Idris 2.

OCaml backend for Idris2

Malfunction backend for Idris 2

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

GRIN backend for Idris2