Andreea Costea's repositories
rust-survey
A survey on Rust works: empirical studies, verification tools, analysis tools, etc
000
Language:OCaml000
incubator-singa
Mirror of Apache Singa (Incubating)
Language:C++Apache-2.0000
infer
A fork of Infer - static analyzer for Java, C, C++, and Objective-C - with updated domain for locks (from numerical to synthetic paths) for RacerD.
Language:HTMLMIT000
000
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
Language:RustNOASSERTION000
Language:Emacs Lisp000
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
NOASSERTION000
Language:TLA000