Tired of your bluetooth headphones pairing with a computer you thought was asleep ? This fixes that

A simple train simulator in c

Implementation of monotone frameworks in Agda

Linear Dependent Types for Differential Privacy TypeChecker

Graph rewriting library for Scala

Small Scala.js web app to compute ODEs for graph transformation systems

A new Categories library for Agda

Experiments with NbE for all sorts of funky monadic extensions of STLC

A simple visual editor for creating commutative diagrams.

Mechanized formalization of Implicit resolution in Agda

GNU/Emacs support for the Kappa language

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at