A library for building dynamic webapps, using Js_of_ocaml

Leightweight generalized parser combinators

Agda is a dependently typed programming language / interactive theorem prover.

And I say hey, what's going on?

A library and case-study for linear, intrinsically-typed interpreters in Agda

Manage Windows and Buffers According to Purposes

The Agda standard library