Stefan Höck

idris2-tutorial. Idris

idris2-pack. Idris

idris2-elab-util. Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-dom. Javascript DOM bindings for Idris2

idris2-pack-db.

idris2-hedgehog. An Idris port of the Haskell Hedghog library

idris2-sop. Idris port of Haskell's sop-core library

dire. A pure Functional Reactive Programming implementation using a discrete time model

idris2-async. Asynchronous and concurrent computations in Idris2

idris2-dom-mvc. Single Page Web Applications in Idris

idris2-rhone-js. Experimental JS bindings for idris2-rhone

idris2-parser. Total lexer and parser for Idris2

idris2-json. Automatically derivable JSON marshallers in the spirit of Haskell's aeson

idris2-rhone. Idris

chemf. A purely functional cheminformatics toolkit written in Scala

idris2-webidl. Parsers and (eventually) Idris code generator for WebIDL documents

idris2-tailrec. Provably total, tail-call optimized monadic recursion in Idris2

idris2-linux. Utilities for using Idris2 on GNU/Linux systems

idris2-array. Immutable and mutable (linear) arrays

idris2-ref1. Linear mutable References and Utilities

idris2-ilex. Generating fast Lexers from an Idris2 DSL

idris2-prim. Axioms and Propositions for Primitives in Idris2

cyby2. A library for writing chemical and biological data management systems

idris2-streams. Functional, effectful streams with resource management

idris2-cyby-draw. A chemical drawing tool for the browser

idris2-eff. Extensible,stack safe effects for Idris2

idris2-digest. Idris

idris2-chem. Dependently typed cheminformatics in Idris2

idris2-sqlite3. Idris2 bindings to the sqlite3 C-API

idris2-algebra. Lawful algebraic structures in Idris2

idris2-pretty-show. Idris

idris2-todomvc. Experimental TodoMVC implementation in Idris2 using rhone-js

idris2-rio. A simple, stack-safe effect system based on the RIO Monad

idris2-filepath. Unix style file paths in Idris2

idris2-streaming. An IO streaming library for Idris2

idris2-svg. Vector graphics in Idris2

idris2-comonad. Idris

idris2-refined. Refinement types for Idris2

idris2-style-guide.

idris2-bytestring. Immutable byte vectors in Idris2.

idris2-barbies. Types that can change their clothes

idris-fix-whitespace. Removes trailing whitespace from .idr files and makes sure they end with exactly one newline.

idris2-indexed-graph. Idris

idris2-graph. Sparse, simple graphs in Idris2

idris2-freer. Efficient, stack-safe implementation of freer monads.

idris2-uv. Bindings to libuv for Idris2

idris2-profiler. A simple profiler for Idris2 functions

idris2-cptr. Fun with C-Pointers

idris2-finite. A derivable interface for types with a finite number of values

idris2-epoll. epoll bindings in Idris2

idris2-vty. Clone of Haskell's vty library (WIP)

idris2-crypt. FFI bindings to the crypt libary

aoc23. Advent of Code 2023 in Idris

idris2-qutescript. Writing user scripts for qutebrowser

idris2-gnuplot. Inspired by the Haskell library.