[email protected]
@imandra-ai London Working at https://imandra.ai, building algorithmic verification tools in ocaml using formal methods. @clojure core contributor, contrib author
Nicola Mometto
A clojure reader implemented in clojure
Bronsa
[MOVED] Clojure compiler in Clojure
Traits support to clojure's deftype and defrecord, as a library
A decompiler for clojure, in clojure