koehlma / mombaView external linksLinks
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
☆19Aug 3, 2024Updated last year
Alternatives and similar repositories for momba
Users that are interested in momba are comparing it to the libraries listed below
Sorting:
- A framework for working with inference rules.☆10Sep 14, 2021Updated 4 years ago
- A simple but quite powerful spellchecking library for GTK written in pure Python.☆24Dec 8, 2023Updated 2 years ago
- ☆10May 21, 2021Updated 4 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Jan 12, 2026Updated last month
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 3 years ago
- ☆21Sep 10, 2025Updated 5 months ago
- EPMC: An Extendible Probabilistic Model Checker☆19Jan 13, 2025Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- Python libuv CFFI Bindings☆18Oct 10, 2016Updated 9 years ago
- TChecker is an open-source verification tool for timed automata☆25Dec 9, 2025Updated 2 months ago
- ☆19Jan 7, 2026Updated last month
- Simple retrying for asyncio☆22Mar 20, 2023Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Oct 6, 2025Updated 4 months ago
- A package for building customizable decision trees and random forests.☆10Oct 6, 2025Updated 4 months ago
- A Python framework for interacting with in-browser DOM via websockets☆11Mar 28, 2018Updated 7 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- A Modern Probabilistic Model Checker☆161Updated this week
- probabilistic logic programming language for statistical modeling☆38Dec 30, 2025Updated last month
- Tool for computing unmitigated collision risk using traffic density data☆13Aug 15, 2023Updated 2 years ago
- A job management system for python☆10Jan 16, 2026Updated 3 weeks ago
- Personal collection of Dagger modules☆11Jan 15, 2026Updated 3 weeks ago
- Creates Random Coding Sequences with specified GC content and Amino Acid usage☆10Jun 21, 2022Updated 3 years ago
- Some kind of TidalCycles implementation for SuperCollider☆14May 29, 2020Updated 5 years ago
- ☆10Dec 6, 2022Updated 3 years ago
- ☆11Oct 13, 2025Updated 4 months ago
- An SMT Solver for string constraints☆48Updated this week
- ☆12Apr 1, 2025Updated 10 months ago
- A Demultiplexing Tool for Illumina Sequencers☆10Sep 27, 2016Updated 9 years ago
- A simple integrated container orchestration solution☆13Dec 2, 2022Updated 3 years ago
- Python scripts that build optimal routes for node collection☆12Feb 6, 2026Updated last week
- VS Code extension for Duffle, the CNAB installer☆14Apr 29, 2023Updated 2 years ago
- f-PO: Generalizing Preference Optimization with f-divergence Minimization☆13Apr 2, 2025Updated 10 months ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 3 years ago
- Explain and validate SQL queries as you type them into Datasette☆12Feb 28, 2024Updated last year
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- Standalone version of pytest's assertion introspection rewrite☆12Nov 26, 2025Updated 2 months ago
- A Rust implementation of the Gravity-post-quantum signature schemes☆18Nov 20, 2025Updated 2 months ago
- Code repository for blog article series https://nixcademy.com/2023/10/31/cpp-with-nix-in-2023-part-1-shell/☆11Jan 11, 2024Updated 2 years ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago