An implementation of "A Typed Approach to Parsing" in idris

Cross-platform asynchronous I/O

Blue Obelisk Data Repository - your one stop place of element and isotope data.

The Chemistry Development Kit

a http(s) client in idris

Newtype, Generic Interface Deriving

Package manager for Idris

Idris Version Manager

A core language and API for dependently typed languages

Simple configuration and extra tools for NVIM + LSP + Idris2

Immutable Size Indexed Arrays

Hash-array map tries in Idris2

Interface for types that can be hashed.

GRIN backend for Idris2

A purely functional programming language with first class types

Principled Functional Programming in Scala