ngorogiannis

@facebook London

Pinned Repositories

cyclist
A cyclic theorem prover framework.
Language:OCaml28 12 64
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml14.9k 603 1.4k2k
litho
A declarative framework for building efficient UIs on Android.
Language:Kotlin7.7k 183 388758
racket-asip
A Racket client for the Arduino Service Interface Protocol (ASIP)
Language:Racket115
smtcomp14-sl
Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014
Language:SMT41
erlang-asip
Erlang client for the ASIP protocol.
Language:Erlang00
stdcompat
Stdcompat: compatibility module for OCaml standard library
Language:OCaml30 3 1813

ngorogiannis/erlang-asip
Erlang client for the ASIP protocol.
Language:Erlang00