Jonas De Vuyst

comprehend. Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactional storage.

ruminant. Swift persistent vectors à la Clojure

fletching-macros. Clojure macros that complement the clojure.core threading (arrow) macros

rekenaar. Idris tactics for (commutative) monoids

dependable-data-structures. Experiments in implementing functional data structures in Idris

kripke. Clojure library for constructing and manipulating sequences of similar structures

termcat. Termcat is a markup language for scientific and technical writing.

tableaux. Tableau-based theorem prover for public announcement logic

dustpan. Swift mark-and-sweep garbage collector