Nicola Mometto

icon indicating an email [email protected]

icon company @imandra-ai icon location London icon location Working at https://imandra.ai, building algorithmic verification tools in ocaml using formal methods. @clojure core contributor, contrib author

Results 4 repositories owned by Nicola Mometto

blind

34
Stars
1
Forks
Watchers

A clojure reader implemented in clojure

verified publisher icon Bronsa

CinC

81
Stars
4
Forks
Watchers

[MOVED] Clojure compiler in Clojure

verified publisher icon Bronsa

neurotic

27
Stars
2
Forks
Watchers

Traits support to clojure's deftype and defrecord, as a library

verified publisher icon Bronsa

tools.decompiler

69
Stars
5
Forks
Watchers

A decompiler for clojure, in clojure

verified publisher icon Bronsa