Popular repositories Loading

1. mata mata Public

   A fast and simple automata library

   Stata 34 22

2. z3-noodler z3-noodler Public

   Forked from Z3Prover/z3

   The Z3-Noodler String Solver

   C++ 26 13

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. VeriRego VeriRego Public

   SMT-based Analysis of Rego Policies

   Go 3