Popular repositories

1. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++ 17 21

2. spacer-on-jupyter spacer-on-jupyter Public

   Jupyter Notebook 14 6

3. btor2mlir btor2mlir Public

   BTOR2 MLIR project

   C++ 13 6

4. verifyTrusty verifyTrusty Public

   All things related to verification of trusty TEE OS

   C 5 1

5. brunch brunch Public

   Data processing and execution

   Python 3 4

6. innard-benchmarks innard-benchmarks Public

   Benchmarks for IC3 with Inner Signals paper

   3