jdevuyst

Jonas De Vuyst's repositories

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

Language:ClojureEPL-1.073 40

Swift persistent vectors à la Clojure

Language:SwiftEPL-1.037 3 1

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

Language:ClojureEPL-1.034 20

Idris tactics for (commutative) monoids

Language:Idris20 2 3

Experiments in implementing functional data structures in Idris

Language:IdrisBSD-3-Clause14 10

Clojure library for constructing and manipulating sequences of similar structures

Language:ClojureEPL-1.013 20

Termcat is a markup language for scientific and technical writing.

Language:Clojure11 4 5

Tableau-based theorem prover for public announcement logic

Language:Clojure6 10

Swift mark-and-sweep garbage collector

Language:SwiftApache-2.03 20

Composable logging for Clojure

Language:ClojureEPL-1.0010

A Clojure library for non-deterministic and parallel branching

Language:ClojureEPL-1.0020