Popular repositories

1. petablox petablox Public

   Main distribution of Petablox

   Java 36 7

2. arbitrar arbitrar Public

   User Guided API Misuse Detection

   OCaml 26 5

3. popl2020-artifact popl2020-artifact Public

   Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.

   C++ 17 2

4. popl2020-tutorial popl2020-tutorial Public

   Tutorial for Building Program Reasoning Tools using LLVM and Z3

   C++ 17 6

5. difflog difflog Public

   Difflog: Synthesizing Datalog Programs using Numerical Relaxation

   Scala 10 1

6. cis573vm cis573vm Public

   C++ 8 2