An OCaml implementation of the urn data structure for fast pure functional random sampling

Rocq plugin embedding Elpi

A hack to make JFP's bibliography compatible with natbib

Music Theory in R

A collection of small projects to illustrate how to write plugins for Coq

Convert Haskell source code to Coq source code

A Haskell package for updatable discrete distributions

A LaTeX package for commands that exist only when a document is in draft mode

A concolic testing tool for the Erlang functional programming language.

Streaming library for bulk memory operations with Standard ML in MLton

NTUA - 8th Semester - Compilers