Popular repositories Loading

1. mata mata Public

   A fast and simple automata library

   Stata 34 23

2. z3-noodler z3-noodler Public

   Forked from Z3Prover/z3

   The Z3-Noodler String Solver

   C++ 27 12

3. angie angie Public

   Next generation of static analyzers

   C++ 4 1

4. unite unite Public

   Mirror of our Gitlab repository https://pajda.fit.vutbr.cz/verifit/unite

   Java 4

5. smg3 smg3 Public

   Symbolic Memory Graphs library, this time in C++!

   C++ 3 2

6. smt-bench smt-bench Public

   SMT benchmarking platform

   Python 2 2