lorisdanto / automatarkView external linksLinks
Benchmark problems for different models of automata, transducers, and related logics
☆30Oct 6, 2025Updated 4 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
- ☆12Jan 8, 2016Updated 10 years ago
- The Z3-Noodler String Solver☆25Updated this week
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated 11 months ago
- Partition refinement☆16Sep 11, 2023Updated 2 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆20Updated this week
- An SMT Solver for string constraints☆48Updated this week
- Automata Benchmark Suite☆23Oct 23, 2023Updated 2 years ago
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Jan 7, 2023Updated 3 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
- An automata learning library written in Python.☆48Feb 26, 2020Updated 5 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 2 years ago
- An awesome list of awesome documentation and documentation resources☆20Oct 30, 2018Updated 7 years ago
- The LTSmin model checking toolset☆61Oct 31, 2024Updated last year
- ☆29May 30, 2025Updated 8 months ago
- JSONPath Streaming with Bit-Parallel Fast-Forwarding☆33Oct 10, 2024Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Apr 11, 2023Updated 2 years ago
- 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
- 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☆37Aug 10, 2022Updated 3 years ago
- Data processing pipelines☆13Updated this week
- With This-or-That, prioritizing is fun and fast.☆10Aug 9, 2024Updated last year
- 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
- ✍️ A browser add-on (Firefox, Chrome, Thunderbird) that allows you to autocorrect common text sequences and convert text characters to a …☆12Updated this week
- ☆11Nov 12, 2017Updated 8 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated last month
- A grunt task which takes a html file, finds all the css, js links and images, and outputs a version with all the css, js and images (Base…☆12Jan 23, 2025Updated last year
- Build Your Own Neural Network Design☆14Aug 3, 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 last month
- Sources and Documentation for the HINT project☆11Feb 5, 2026Updated last week
- A course on free/libre and open source software☆11Oct 16, 2025Updated 3 months ago
- ☆10Dec 6, 2022Updated 3 years ago
- ☆10Sep 18, 2022Updated 3 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Simplify icon selection with IkonX - your Ikonli icon pack browser.☆11Jan 10, 2026Updated last month
- A free, open-source Java library for automata, graphs, and transition systems☆99Updated this week
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated last year