Skip to content

@VeriFIT VeriFIT

Change the repository type filter

All

    Repositories list

    38 repositories

    • kofola

      Public
      Kofola: Modular Complementation and Inclusion Checking for Omega Automata
      inclusion-checkingcomplementationomega-automata
      C++
      •
      GNU General Public License v3.0
      •0•1•0•1•Updated Dec 27, 2025Dec 27, 2025

    • z3-noodler

      Public
      The Z3-Noodler String Solver
      z3smtz3-smt-solverstring-solving
      C++
      •
      Other
      •1.6k•24•8•8•Updated Dec 27, 2025Dec 27, 2025

    • ba-compl-eval

      Public
      Evaluation environment for Omega automata complementation and inclusion testing
      Jupyter Notebook
      •1•0•0•0•Updated Dec 27, 2025Dec 27, 2025

    • smt-string-bench-results

      Public
      Jupyter Notebook
      •1•1•0•0•Updated Dec 25, 2025Dec 25, 2025

    • mata

      Public
      A fast and simple automata library
      librarypython-librarytransducerscpp-libraryfinite-automata
      Stata
      •
      MIT License
      •19•31•66•21•Updated Dec 23, 2025Dec 23, 2025

    • smt-bench

      Public
      SMT benchmarking platform
      Python
      •1•2•0•0•Updated Dec 21, 2025Dec 21, 2025

    • AutoQ-Para

      Public
      Implementation accompanying the Synchronized Weighted Tree Automaton model
      C++
      •
      MIT License
      •1•0•0•0•Updated Dec 21, 2025Dec 21, 2025

    • event-calculus-solver-comparison

      Public
      Answer Set Programming
      •2•0•0•0•Updated Dec 16, 2025Dec 16, 2025

    • quantum-eval

      Public
      Evaluation environment for quantum tools
      OpenQASM
      •
      MIT License
      •0•0•0•0•Updated Dec 10, 2025Dec 10, 2025

    • algebraic-complex-numbers

      Public
      A library implementing a complex numbers precisely, as a 2^N+1 tuple of integers.
      C++
      •
      MIT License
      •0•0•0•0•Updated Dec 7, 2025Dec 7, 2025

    • kofola-artifact

      Public
      Python
      •
      Other
      •0•0•0•0•Updated Oct 29, 2025Oct 29, 2025

    • pycobench

      Public
      A small framework for running benchmarks
      Python
      •1•1•0•0•Updated Oct 7, 2025Oct 7, 2025

    • MoToBuddy

      Public
      BuDDy with MTBDD support
      C
      •
      Other
      •1•0•0•0•Updated Aug 28, 2025Aug 28, 2025

    • amaya-smt-comp

      Public
      Repository for sumbissions of Amaya to SMT-COMP
      TeX
      •0•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • unite

      Public
      Mirror of our Gitlab repository https://pajda.fit.vutbr.cz/verifit/unite
      Java
      •
      Eclipse Public License 2.0
      •0•4•0•0•Updated May 15, 2025May 15, 2025

    • ProStatA

      Public
      LLVM-based framework "Pro Statické Analyzátory"
      C++
      •
      GNU General Public License v3.0
      •3•0•0•0•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
      •2•0•0•0•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 modelling of strings and regular expressions.
      JavaScript
      •
      MIT License
      •39•0•0•1•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-automataalternating-finite-automata
      Shell
      •0•0•0•0•Updated Nov 25, 2024Nov 25, 2024

    • mata-comparison

      Public
      Pipeline for comparison of the Mata library with other libraries and tools
      C++
      •
      Other
      •0•0•8•0•Updated Nov 6, 2024Nov 6, 2024

    • nfa-program-parser

      Public
      Stata
      •0•1•2•0•Updated Nov 6, 2024Nov 6, 2024

    • lncs-paper-template-repo

      Public template
      A template repository for a LNCS-style paper
      TeX
      •0•0•0•0•Updated Sep 8, 2024Sep 8, 2024

    • mata-comparison-results

      Public
      Repository containing results for experimental evaluation of libmata library.
      TeX
      •0•0•0•0•Updated Aug 30, 2024Aug 30, 2024

    • poster-template

      Public
      Template for posters for VeriFIT group
      TeX
      •
      The Unlicense
      •0•0•0•0•Updated Mar 25, 2024Mar 25, 2024

    • afa-comparison-results

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Oct 26, 2023Oct 26, 2023

    • Automata

      Public
      Automata and transducer library for .NET
      C#
      •
      Other
      •27•0•6•1•Updated Oct 23, 2023Oct 23, 2023

    • mata-comparison-brics

      Public
      Nfa emptiness checker using BRICS library
      Java
      •1•0•0•0•Updated Oct 22, 2023Oct 22, 2023

    • regular-game

      Public
      A game where the player fights with regular languages
      Python
      •1•0•0•0•Updated Oct 6, 2023Oct 6, 2023

    • mata-comparsion-mona

      Public
      Stata
      •0•0•0•0•Updated Sep 5, 2023Sep 5, 2023

    • mata-comparison-vata

      Public
      C++
      •1•0•0•0•Updated Sep 5, 2023Sep 5, 2023