Skip to content
@VeriFIT

VeriFIT

Popular repositories Loading

  1. mata mata Public

    A fast and simple automata library

    Stata 19 13

  2. z3-noodler z3-noodler Public

    Forked from Z3Prover/z3

    The Z3-Noodler String Solver

    C++ 6 5

  3. unite unite Public

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

    Java 3

  4. smg3 smg3 Public

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

    C++ 2 2

  5. angie angie Public

    Next generation of static analyzers

    C++ 2 1

  6. smt-bench smt-bench Public

    SMT benchmarking platform

    Python 1 1

Repositories

Showing 10 of 30 repositories
  • mata Public

    A fast and simple automata library

    VeriFIT/mata’s past year of commit activity
    Stata 19 MIT 13 57 7 Updated Sep 17, 2024
  • z3-noodler Public Forked from Z3Prover/z3

    The Z3-Noodler String Solver

    VeriFIT/z3-noodler’s past year of commit activity
    C++ 6 1,500 6 2 Updated Sep 16, 2024
  • smt-string-bench-results Public
    VeriFIT/smt-string-bench-results’s past year of commit activity
    Jupyter Notebook 1 1 0 0 Updated Sep 15, 2024
  • smt-bench Public

    SMT benchmarking platform

    VeriFIT/smt-bench’s past year of commit activity
    Python 1 1 0 0 Updated Sep 10, 2024
  • lncs-paper-template-repo Public template

    A template repository for a LNCS-style paper

    VeriFIT/lncs-paper-template-repo’s past year of commit activity
    TeX 0 0 0 0 Updated Sep 8, 2024
  • mata-comparison Public

    Master repo for comparison of libmata library

    VeriFIT/mata-comparison’s past year of commit activity
    C++ 0 0 8 0 Updated Aug 30, 2024
  • mata-comparison-results Public

    Repository containing results for experimental evaluation of libmata library.

    VeriFIT/mata-comparison-results’s past year of commit activity
    TeX 0 0 0 0 Updated Aug 30, 2024
  • amaya-smt-comp Public

    Repository for sumbissions of Amaya to SMT-COMP

    VeriFIT/amaya-smt-comp’s past year of commit activity
    TeX 0 0 0 0 Updated Jul 2, 2024
  • poster-template Public

    Template for posters for VeriFIT group

    VeriFIT/poster-template’s past year of commit activity
    TeX 0 Unlicense 0 0 0 Updated Mar 25, 2024
  • nfa-program-parser Public
    VeriFIT/nfa-program-parser’s past year of commit activity
    Stata 0 0 2 0 Updated Mar 5, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…