ngorogiannis

@facebook London

Pinned Repositories

cyclist
A cyclic theorem prover framework.
Language:OCaml31 12 64
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml15.1k 602 1.4k2k
litho
A declarative framework for building efficient UIs on Android.
Language:Kotlin7.7k 182 394763
racket-asip
A Racket client for the Arduino Service Interface Protocol (ASIP)
Language:Racket11 6 05
smtcomp14-sl
Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014
Language:SMT4 4 01
erlang-asip
Erlang client for the ASIP protocol.
Language:Erlang0 1 00
stdcompat
Stdcompat: compatibility module for OCaml standard library
Language:OCaml31 4 1814

ngorogiannis/erlang-asip
Erlang client for the ASIP protocol.
Language:Erlang0 1 00