jdevuyst
Functional programmer and former iOS developer. PhD in Philosophy and @recursecenter alumnus. Finished half a Bachelor CS program at some point.
Pinned Repositories
comprehend
Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactional storage.
dependable-data-structures
Experiments in implementing functional data structures in Idris
dustpan
Swift mark-and-sweep garbage collector
episodic
Composable logging for Clojure
fletching-macros
Clojure macros that complement the clojure.core threading (arrow) macros
kripke
Clojure library for constructing and manipulating sequences of similar structures
rekenaar
Idris tactics for (commutative) monoids
ruminant
Swift persistent vectors à la Clojure
tableaux
Tableau-based theorem prover for public announcement logic
termcat
Termcat is a markup language for scientific and technical writing.
jdevuyst's Repositories
jdevuyst/comprehend
Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactional storage.
jdevuyst/ruminant
Swift persistent vectors à la Clojure
jdevuyst/fletching-macros
Clojure macros that complement the clojure.core threading (arrow) macros
jdevuyst/rekenaar
Idris tactics for (commutative) monoids
jdevuyst/dependable-data-structures
Experiments in implementing functional data structures in Idris
jdevuyst/kripke
Clojure library for constructing and manipulating sequences of similar structures
jdevuyst/termcat
Termcat is a markup language for scientific and technical writing.
jdevuyst/tableaux
Tableau-based theorem prover for public announcement logic
jdevuyst/dustpan
Swift mark-and-sweep garbage collector
jdevuyst/episodic
Composable logging for Clojure
jdevuyst/fastest
A Clojure library for non-deterministic and parallel branching