Jonas De Vuyst (@jdevuyst)
github

jdevuyst

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    210
  • Global Rank 118,622 (Top 5 %)
  • Followers 52
  • Following 39
  • Registered over 11 years ago
  • Most used languages
    Clojure
         55.6 %
    Swift
         22.2 %
    Idris     22.2 %

Top repositories

1

comprehend

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

ruminant

Swift persistent vectors à la Clojure
Swift
37
star
3

fletching-macros

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

rekenaar

Idris tactics for (commutative) monoids
Idris
20
star
5

dependable-data-structures

Experiments in implementing functional data structures in Idris
Idris
14
star
6

kripke

Clojure library for constructing and manipulating sequences of similar structures
Clojure
13
star
7

termcat

Termcat is a markup language for scientific and technical writing.
Clojure
11
star
8

tableaux

Tableau-based theorem prover for public announcement logic
Clojure
6
star
9

dustpan

Swift mark-and-sweep garbage collector
Swift
3
star