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.☆24Feb 21, 2026Updated 2 weeks 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…☆28Updated this week
- 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
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆19Mar 8, 2024Updated last year
- TChecker is an open-source verification tool for timed automata☆25Dec 9, 2025Updated 2 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Oct 6, 2025Updated 5 months ago
- A package for building customizable decision trees and random forests.☆10Oct 6, 2025Updated 5 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☆162Updated this week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆42Sep 10, 2024Updated last year
- ☆11Oct 13, 2025Updated 4 months ago
- A minimalistic deployment software focused on simplicity and clarity.☆11Feb 12, 2022Updated 4 years ago
- Personal collection of Dagger modules☆11Jan 15, 2026Updated last month
- An SMT Solver for string constraints☆49Feb 10, 2026Updated 3 weeks ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- Julia package for simulating large populations of trading agents☆14Jan 4, 2024Updated 2 years ago
- ☆12Jan 13, 2025Updated last year
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Mar 12, 2025Updated 11 months ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- some generic (but hopefully still useful) recommendations on writing your thesis☆11Mar 24, 2023Updated 2 years ago
- Experiments on quadratic and cubic Bézier curves☆12Jun 30, 2015Updated 10 years ago
- A simple integrated container orchestration solution☆13Dec 2, 2022Updated 3 years ago
- ☆11May 6, 2025Updated 10 months ago
- The Rookie Text Analysis System☆10Dec 8, 2022Updated 3 years ago
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- standard form private license for developers☆12May 16, 2021Updated 4 years ago
- ☆13May 5, 2018Updated 7 years ago
- Some code to examine and modify your experience of Twitter.☆11May 30, 2020Updated 5 years ago
- Access the Web Cryptography API with a WebView☆12Feb 17, 2026Updated 2 weeks ago
- VS Code extension for Duffle, the CNAB installer☆14Apr 29, 2023Updated 2 years ago