Benchmark problems for different models of automata, transducers, and related logics
☆30Oct 6, 2025Updated 5 months ago
Alternatives and similar repositories for automatark
Users that are interested in automatark are comparing it to the libraries listed below
Sorting:
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- An ANTLR 4 grammar for PCRE☆30Jun 6, 2024Updated last year
- The Z3-Noodler String Solver☆25Feb 27, 2026Updated last week
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆22Feb 10, 2026Updated 3 weeks ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- An SMT Solver for string constraints☆49Feb 10, 2026Updated 3 weeks ago
- Automata Benchmark Suite☆23Oct 23, 2023Updated 2 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated last year
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Jan 7, 2023Updated 3 years ago
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- The LTSmin model checking toolset☆61Oct 31, 2024Updated last year
- ☆29Feb 11, 2026Updated 3 weeks ago
- TriCera: a model checker for C programs☆26Feb 28, 2026Updated last week
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆38Aug 5, 2024Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- ☆43Jun 28, 2025Updated 8 months ago
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 7 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Aug 10, 2022Updated 3 years ago
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- With This-or-That, prioritizing is fun and fast.☆10Aug 9, 2024Updated last year
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- Simplify icon selection with IkonX - your Ikonli icon pack browser.☆11Jan 10, 2026Updated last month
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- ☆10Dec 6, 2022Updated 3 years ago
- TOSCA transformer build by students at the University of Stuttgart☆10Jun 15, 2020Updated 5 years ago
- Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countabl…☆12Jan 6, 2026Updated 2 months ago
- ✍️ A browser add-on (Firefox, Chrome, Thunderbird) that allows you to autocorrect common text sequences and convert text characters to a …☆12Feb 9, 2026Updated 3 weeks ago
- Build Your Own Neural Network Design☆14Aug 3, 2020Updated 5 years ago
- ☆10Sep 18, 2022Updated 3 years ago
- A web-based application for authoring BPMN 2.0 process specifications☆15Jun 15, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/another-chebpy☆13Apr 28, 2015Updated 10 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- A course on free/libre and open source software☆11Oct 16, 2025Updated 4 months ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated 2 months ago