All Git Users → jdevuyst

3 open source projects by jdevuyst

[ Open user page on Github ]

Idris tactics for (commutative) monoids

✭ 21

Idris solver tactics arithmetic monoid

Swift persistent vectors à la Clojure

✭ 37

swift persistent-data-structure functional-data-structure persistent-vectors

3. fletching-macros

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

✭ 32

clojure clojure-macros

1-3 of 3 user projects