Benchmark problems for different models of automata, transducers, and related logics
☆32Oct 6, 2025Updated 9 months ago
Alternatives and similar repositories for automatark
Users that are interested in automatark are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- ☆12Jan 8, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- ☆14Apr 5, 2023Updated 3 years ago
- An ANTLR 4 grammar for PCRE☆30Jun 6, 2024Updated 2 years ago
- TriCera: a model checker for C programs☆27Jul 3, 2026Updated 3 weeks ago
- An SMT Solver for string constraints☆55Updated this week
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 4 years ago
- A free, open-source Java library for automata learning algorithms☆233Jul 22, 2026Updated last week
- libkalibera☆17Mar 17, 2022Updated 4 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 3 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆39Aug 5, 2024Updated last year
- ☆17Apr 13, 2015Updated 11 years ago
- ☆20Jul 15, 2026Updated 2 weeks ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- The Z3-Noodler String Solver☆27Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 7 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆12Mar 12, 2025Updated last year
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- SMTLib2 interface implementation for Haskell☆18Dec 6, 2017Updated 8 years ago
- An SMT Solver for strings☆11Jun 22, 2018Updated 8 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated 2 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 2 years ago
- AE-solver and Skolemizer☆17Jul 12, 2026Updated 2 weeks ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Automatically generates schema given json samples.☆10Jun 1, 2016Updated 10 years ago
- ☆17Sep 30, 2025Updated 9 months ago
- Data and Code for StructuredRegex.☆14Nov 16, 2023Updated 2 years ago
- JSONPath Streaming with Bit-Parallel Fast-Forwarding☆33Oct 10, 2024Updated last year
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 8 years ago
- A blog of Programming Languages Group @Purdue☆12Jun 23, 2026Updated last month