Pinned Loading

1. cvc5/cvc5 cvc5/cvc5 Public

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 1.2k 269

2. vprover/vampire vprover/vampire Public

   The Vampire Theorem Prover

   C++ 360 61

3. probing-lab/polar probing-lab/polar Public

   Python 17 7

4. bolt-perf-contracts/klee bolt-perf-contracts/klee Public

   Forked from klee/klee

   KLEE Symbolic Execution Engine

   C++ 3

5. os-lab-xv6 os-lab-xv6 Public

   A modified xv6 operating system with several extra features such as various new system calls, multilevel queue scheduling, and synchronization.

   C 3 2

6. ARM ARM Public

   A Verilog implementation of an ARM series processor supporting: Forwarding, SRAM, and Cache.

   Verilog 1