Pinned Loading

1. verse-lab/hippodrome verse-lab/hippodrome Public

   An automatic program repair tool for data races in Java programs.

   Java 4 1

2. hipsleek hipsleek Public

   Forked from hipsleek/hipsleek

   OCaml

3. infer infer Public

   Forked from facebook/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.

   HTML

4. rust-survey rust-survey Public

   A survey on Rust works: empirical studies, verification tools, analysis tools, etc

   5 1

5. TyGuS/robosuslik TyGuS/robosuslik Public

   Synthesis with Read-Only Borrows

   Scala 1 1