momba

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

APACHE-2.0 License

Downloads
5.7K
Stars
17
Committers
2
View Code on GitHub Visit Website
Ecosystems: Python

Commit Statistics

Past Year

All Time

Total Commits
557
Total Committers
4
Avg. Commits Per Committer
139.25
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
2
7
Merged Pull Requests
2
4
Total Issues
2
7
Time to Close Issues
2 days
9 days
Package Rankings
Top 24.01% on Crates.io
Top 16.19% on Pypi.org
Related Projects
digital_palace

My Digital Palace - A Personal Journal for Reflection - A place to store all my thoughts

03 Sep 2023 44
mmengine

OpenMMLab Foundational Library for Training Deep Learning Models

08 Feb 2022 1,093
mujoco-maze

Simple maze environments using mujoco-py

21 May 2020 52
manticore

Symbolic execution tool

10 Feb 2017 3,681
CCSD

Combinatorial Complex Score-based Diffusion model using stochastic differential equations

18 Jul 2023 8
bocas

16 Oct 2022 4
Gepetto

IDA plugin which queries uses language models to speed up reverse-engineering

04 Dec 2022 2,809
ai-microcore

# Minimalistic Foundation for AI Applications

29 Jun 2023 15
cambrian

Cambrian-1 is a family of multimodal LLMs with a vision-centric design.

17 Jun 2024 1,703
OpenMoE

A family of open-sourced Mixture-of-Experts (MoE) Large Language Models

08 Aug 2023 1,368