Repositories list

• quantum-eval

  Public
  Evaluation environment for quantum tools

  OpenQASM

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 2, 2026May 2, 2026

• MoToBuddy

  Public
  BuDDy with MTBDD support

  C

  •

  Other

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 2, 2026May 2, 2026

• RegisterSetAutomata

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 2, 2026May 2, 2026

• ba-compl-eval

  Public
  Evaluation environment for Omega automata complementation and inclusion testing

  Jupyter Notebook

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 30, 2026Apr 30, 2026

• smt-string-bench-results

  Public
  Jupyter Notebook

  •11 fork•11 star•00 issues•00 pull requests•Updated Apr 29, 2026Apr 29, 2026

• kofola

  Public
  Kofola: Modular Complementation and Inclusion Checking for Omega Automata

  inclusion-checkingcomplementationomega-automata

  inclusion-checkingcomplementationomega-automata

  C++

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•11 pull request•Updated Apr 29, 2026Apr 29, 2026

• MEDUSA

  Public
  An MTBDD-based quantum circuit simulator

  OpenQASM

  •11 fork•11 star•00 issues•00 pull requests•Updated Apr 29, 2026Apr 29, 2026

• smt-bench

  Public
  SMT benchmarking platform

  Python

  •22 forks•22 stars•00 issues•11 pull request•Updated Apr 24, 2026Apr 24, 2026

• z3-noodler

  Public
  The Z3-Noodler String Solver

  z3smtz3-smt-solver+ 1

  z3smtz3-smt-solverstring-solving

  C++

  •

  Other

  •1.6k1.6k forks•2525 stars•66 issues•77 pull requests•Updated Apr 24, 2026Apr 24, 2026

• mata

  Public
  A fast and simple automata library

  librarypython-librarytransducers+ 2

  librarypython-librarytransducerscpp-libraryfinite-automata

  Stata

  •

  MIT License

  •2121 forks•3434 stars•6969 issues•1818 pull requests•Updated Apr 23, 2026Apr 23, 2026

• rsaregex-artifact

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 1, 2026Apr 1, 2026

• unite

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

  Java

  •

  Eclipse Public License 2.0

  •00 forks•44 stars•00 issues•00 pull requests•Updated Mar 10, 2026Mar 10, 2026

• algebraic-complex-numbers

  Public
  A library implementing a complex numbers precisely, as a 2^N+1 tuple of integers.

  C++

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 28, 2026Feb 28, 2026

• AutoQ-Para

  Public
  Implementation accompanying the Synchronized Weighted Tree Automaton model

  C++

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Feb 23, 2026Feb 23, 2026

• kofola-artifact

  Public
  Python

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 29, 2025Oct 29, 2025

• pycobench

  Public
  A small framework for running benchmarks

  Python

  •11 fork•11 star•00 issues•00 pull requests•Updated Oct 7, 2025Oct 7, 2025

• amaya-smt-comp

  Public
  Repository for sumbissions of Amaya to SMT-COMP

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 10, 2025Jun 10, 2025

• ProStatA

  Public
  LLVM-based framework "Pro Statické Analyzátory"

  C++

  •

  GNU General Public License v3.0

  •33 forks•00 stars•00 issues•00 pull requests•Updated Apr 21, 2025Apr 21, 2025

• nfa-bench

  Public
  Collected list of benchmarks for evaluating automata supporting non-deterministic finite automata in .mata format

  Stata

  •22 forks•00 stars•00 issues•00 pull requests•Updated Feb 6, 2025Feb 6, 2025

• ExpoSE

  Public
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modellin…

  JavaScript

  •

  MIT License

  •3939 forks•00 stars•00 issues•11 pull request•Updated Feb 5, 2025Feb 5, 2025

• automata-bench

  Public
  Collected list of benchmarks for evaluating different approaches to reasoning about regular properties.

  automatanon-deterministic-finite-automatondeterministic-finite-automata+ 1

  automatanon-deterministic-finite-automatondeterministic-finite-automataalternating-finite-automata

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 25, 2024Nov 25, 2024

• mata-comparison

  Public
  Pipeline for comparison of the Mata library with other libraries and tools

  C++

  •

  Other

  •00 forks•00 stars•88 issues•00 pull requests•Updated Nov 6, 2024Nov 6, 2024

• nfa-program-parser

  Public
  Stata

  •00 forks•11 star•22 issues•00 pull requests•Updated Nov 6, 2024Nov 6, 2024

• lncs-paper-template-repo

  Public template
  A template repository for a LNCS-style paper

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 8, 2024Sep 8, 2024

• mata-comparison-results

  Public
  Repository containing results for experimental evaluation of libmata library.

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 30, 2024Aug 30, 2024

• poster-template

  Public
  Template for posters for VeriFIT group

  TeX

  •

  The Unlicense

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 25, 2024Mar 25, 2024

• afa-comparison-results

  Public
  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 26, 2023Oct 26, 2023

• Automata

  Public
  Automata and transducer library for .NET

  C#

  •

  Other

  •2727 forks•00 stars•66 issues•11 pull request•Updated Oct 23, 2023Oct 23, 2023

• mata-comparison-brics

  Public
  Nfa emptiness checker using BRICS library

  Java

  •11 fork•00 stars•00 issues•00 pull requests•Updated Oct 22, 2023Oct 22, 2023

• regular-game

  Public
  A game where the player fights with regular languages

  Python

  •11 fork•00 stars•00 issues•00 pull requests•Updated Oct 6, 2023Oct 6, 2023