A library for streams of monadic actions

Automatically generate Haskell bindings from C header files

Standard ML of New Jersey

Facilities for generating dependently-typed data

Multi-arch, multi-distro Docker images for Idris 2

Parameterised algebraic effects library and language

Sparse, simple graphs in Idris2

Fun with C-Pointers

Ghidra is a software reverse engineering (SRE) framework

Utilities for using Idris2 on GNU/Linux systems

A lexer+parser library for the DOT language (graphviz) written in Idris2.

A chemical drawing tool for the browser

Dependently typed cheminformatics in Idris2

Provably total, tail-call optimized monadic recursion in Idris2

Inspired by the Haskell library.

Linear mutable References and Utilities

A language for modular probabilistic modelling in Haskell based on effect handlers

A dependently typed server framework for Idris

FizzBuzz, formally verified, provably correct

Idris2 bindings for raylib

Exercism exercises in Idris.

Command line interface library in Idris

Command line interface library in Idris

epoll bindings in Idris2

A massively spiffy yet delicately unobtrusive compression library.

lsp-mode ❤️ haskell

A table library for Idris 2