A graphics library to enable the real-time rendering of 2D signed distance fields on the web.

a compiler for the Apollo project that targets the HCDCv2 Analog Device

Enoki: structured vectorization and differentiation on modern processor architectures

A simple visual editor for creating commutative diagrams.

scraps and bits and bobs

NanoRT(SW ray tracer) backend for NanoVG

Optimize floating-point expressions for accuracy

GHC plugin that improves Haskell code's numerical stability

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

GLSL optimizer based on Mesa's GLSL compiler. Used to be used in Unity for mobile shader optimization.

Optimized GPU noise functions and utilities

Procedural Noise Shader Routines compatible with WebGL

Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection

A textbook on informal homotopy type theory

Because Kmett is not expressive enough. You need CoKmett!

Markov chain text generator, as used for KingJamesProgramming

The propagator system

The Ermine Programming Language - Join us on irc.freenode.net #ermine

A collection of succinct data structures

Implementation of the data structures described in the paper "Fast Compressed Tries using Path Decomposition".

Named and unnamed implicit parameters with defaults (for Haskell).

Implementation of a partially deamortized packed-memory array.

MPEG-2 done right.

This package provides log-domain floats, doubles and complex numbers for Haskell.

Compensated floating-point arithmetic

Applicative option parser

An old experimental, more portable, lens core library. This is no longer remotely current.