Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / koehlma / momba
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/koehlma%2Fmomba
Stars: 18
Forks: 3
Open Issues: 2
License: apache-2.0
Language: PDDL
Repo Size: 27.6 MB
Dependencies:
309
Created: over 3 years ago
Updated: 3 months ago
Last pushed: 4 months ago
Last synced: 15 days ago
Commit Stats
Commits: 557
Authors: 4
Mean commits per author: 139.25
Development Distribution Score: 0.224
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/koehlma/momba
Topics: formal-methods, jani-models, model-checker, models, momba, python, quantitative-models
Files
Dependencies
- black ^22.1.0 develop
- flake8 * develop
- flake8-bugbear * develop
- ipympl ^0.6.3 develop
- jupyter_sphinx ^0.3.2 develop
- matplotlib ^3.3.4 develop
- maturin ^0.12.6 develop
- mypy * develop
- myst-parser ^0.16.1 develop
- pep8-naming * develop
- pytest ^5.2 develop
- pytest-cov ^2.8.1 develop
- sphinx ^4.4.0 develop
- sphinx-autobuild ^2020.9.1 develop
- sphinx-book-theme ^0.2.0 develop
- sympy ^1.7.1 develop
- tomlkit ^0.7.0 develop
- click ^8.0
- docker ^5.0.2
- gym ^0.21.0
- immutables ^0.16
- momba_engine *
- mxu ^0.0.6
- python ^3.8
- torch ^1.8.0
- actions/checkout v2 composite
- actions/download-artifact v2 composite
- actions/setup-python v2 composite
- actions/upload-artifact v2 composite
- peaceiris/actions-gh-pages v3 composite
- actions/checkout v2 composite
- actions/download-artifact v2 composite
- actions/setup-python v2 composite
- actions/upload-artifact v2 composite
- messense/maturin-action v1 composite
- pypa/gh-action-pypi-publish release/v1 composite
- mcr.microsoft.com/vscode/devcontainers/python 0-${VARIANT} build
- certifi 2021.10.8
- charset-normalizer 2.0.7
- click 7.1.2
- cloudpickle 2.0.0
- colorama 0.4.4
- docker 5.0.3
- gym 0.21.0
- idna 3.3
- immutables 0.14
- momba 0.5.1
- momba-engine 0.5.1
- mxu 0.0.6
- numpy 1.21.1
- pywin32 227
- requests 2.26.0
- torch 1.10.0
- typing-extensions 3.10.0.2
- urllib3 1.26.7
- websocket-client 1.2.1
- ahash 0.7.2
- anyhow 1.0.40
- atty 0.2.14
- autocfg 1.0.1
- bitflags 1.2.1
- bitmaps 2.1.0
- cfg-if 1.0.0
- clap 3.0.0-beta.2
- clap_derive 3.0.0-beta.2
- convert_case 0.4.0
- crossbeam-channel 0.5.0
- crossbeam-deque 0.8.0
- crossbeam-epoch 0.9.3
- crossbeam-utils 0.8.3
- ctor 0.1.19
- derive_more 0.99.14
- downcast-rs 1.2.0
- either 1.6.1
- fnv 1.0.7
- getrandom 0.2.2
- ghost 0.1.2
- hashbrown 0.3.1
- hashbrown 0.9.1
- hashbrown 0.11.2
- heck 0.3.2
- hermit-abi 0.1.18
- im 15.0.0
- indexmap 1.6.1
- indoc 0.3.6
- indoc 1.0.6
- indoc-impl 0.3.6
- instant 0.1.9
- inventory 0.1.10
- inventory-impl 0.1.10
- itertools 0.9.0
- itoa 0.4.7
- lazy_static 1.4.0
- libc 0.2.86
- libm 0.2.1
- lock_api 0.4.2
- memoffset 0.6.1
- num-traits 0.2.14
- num_cpus 1.13.0
- once_cell 1.7.2
- ordered-float 2.1.1
- os_str_bytes 2.4.0
- parking_lot 0.11.1
- parking_lot_core 0.8.3
- paste 0.1.18
- paste-impl 0.1.18
- ppv-lite86 0.2.10
- proc-macro-error 1.0.4
- proc-macro-error-attr 1.0.4
- proc-macro-hack 0.5.19
- proc-macro2 1.0.24
- pyo3 0.13.2
- pyo3 0.16.4
- pyo3-build-config 0.16.4
- pyo3-ffi 0.16.4
- pyo3-macros 0.13.2
- pyo3-macros 0.16.4
- pyo3-macros-backend 0.13.2
- pyo3-macros-backend 0.16.4
- quote 1.0.9
- rand 0.8.3
- rand_chacha 0.3.0
- rand_core 0.5.1
- rand_core 0.6.2
- rand_distr 0.4.0
- rand_hc 0.3.0
- rand_xoshiro 0.4.0
- rayon 1.5.0
- rayon-core 1.9.0
- redox_syscall 0.2.5
- ryu 1.0.5
- scopeguard 1.1.0
- serde 1.0.123
- serde_derive 1.0.123
- serde_json 1.0.63
- sized-chunks 0.6.5
- smallvec 1.6.1
- strsim 0.10.0
- syn 1.0.60
- target-lexicon 0.12.3
- termcolor 1.1.2
- textwrap 0.12.1
- toml 0.5.8
- typenum 1.13.0
- unicode-segmentation 1.7.1
- unicode-width 0.1.8
- unicode-xid 0.2.1
- unindent 0.1.7
- vec_map 0.8.2
- version_check 0.9.2
- wasi 0.10.2+wasi-snapshot-preview1
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-util 0.1.5
- winapi-x86_64-pc-windows-gnu 0.4.0
- click 7.1.2
- colorama 0.4.5
- immutables 0.16
- momba 0.6.6
- momba-engine 0.6.6
- mxu 0.0.6
- tomlkit 0.7.2