Pinned Loading

1. purdue-cap/DryadSynth purdue-cap/DryadSynth Public

   A SyGuS Solver

   C++ 29 6

2. oomotion_vscode oomotion_vscode Public

   A textobject-oriented vscode keymap. Inspired by vim, kakoune and helix.

   TypeScript 35 8

3. Z3Prover/z3 Z3Prover/z3 Public

   The Z3 Theorem Prover

   C++ 11.9k 1.6k

4. HilbertProver HilbertProver Public

   An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.

   Scala 13 2

5. plum-umd/java-sketch plum-umd/java-sketch Public

   a Java front-end for Sketch synthesis tool

   Java 20 7

6. AssertDBG AssertDBG Public

   Python