A fast and simple automata library
☆34Feb 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for mata
Users that are interested in mata are comparing it to the libraries listed below
Sorting:
- ☆40Feb 11, 2026Updated 3 weeks ago
- The Z3-Noodler String Solver☆25Updated this week
- VATA Tree Automata Library☆34Feb 3, 2026Updated last month
- Signal temporal logic (STL) formulas and robustness in Julia☆16Jan 17, 2025Updated last year
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 9 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- Lean models of Rust libraries☆27Sep 4, 2024Updated last year
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 19, 2024Updated last year
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Updated this week
- Cerberus C semantics☆80Feb 16, 2026Updated 3 weeks ago
- A SyGuS Solver☆29May 18, 2025Updated 9 months ago
- A design automation framework to engineer decision diagrams yourself☆25Updated this week
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Nov 13, 2023Updated 2 years ago
- A program for making zooming slides in figma.☆41Jul 1, 2025Updated 8 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- This repository is about how to build an SQLite version of the Arabic WordNet database.☆10Mar 19, 2019Updated 6 years ago
- Neural Network Enumeration Tool☆34Jan 8, 2026Updated 2 months ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- An interactive visualizer for linear temporal logic (LTL)☆33May 26, 2021Updated 4 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆12Aug 1, 2024Updated last year
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- A tool to collect/validate audio recordings from workers on Amazon Mechanical Turk. Written in Python/Flask. (originally hosted on github…☆14Dec 19, 2022Updated 3 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- Analyze experimental data with Programming by Navigation☆17Updated this week
- ☆11Oct 13, 2025Updated 4 months ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- ☆12Apr 15, 2025Updated 10 months ago
- ☆10Feb 9, 2024Updated 2 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Personal collection of Dagger modules☆11Jan 15, 2026Updated last month
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- A job management system for python☆10Updated this week