Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "formal-methods" keyword
reelay 0.0.1 💰
Runtime verification package using formal specifications4 versions - Latest release: over 6 years ago - 1 dependent repositories - 26 downloads last month - 29 stars on GitHub - 1 maintainer
pythogic 0.2.9
Python package for deal with logical formulas and formal systems12 versions - Latest release: about 6 years ago - 1 dependent repositories - 30 downloads last month - 5 stars on GitHub - 1 maintainer
cosa 0.3.1
CoreIR Symbolic Analyzer14 versions - Latest release: about 5 years ago - 5 dependent repositories - 56 downloads last month - 60 stars on GitHub - 2 maintainers
maude 1.4.0
Python bindings for Maude16 versions - Latest release: 2 months ago - 1 dependent package - 2 dependent repositories - 375 downloads last month - 14 stars on GitHub - 1 maintainer
recordflux 0.21.0
A toolset for the formal specification and generation of verifiable binary parsers, message gener...23 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 272 downloads last month - 101 stars on GitHub - 3 maintainers
punctilious 1.0.10
A human-friendly and developer-friendly math proof assistant7 versions - Latest release: 6 months ago - 61 downloads last month - 2 stars on GitHub - 1 maintainer
re-technical-report 0.0.11a1
Helper functions for the report 'Assessing a Formal Model of Reflective Equilibrium'10 versions - Latest release: 3 months ago - 76 downloads last month - 1 stars on GitHub - 1 maintainer
pyvcg 1.0.6
Verification Condition Generator8 versions - Latest release: 9 months ago - 1 dependent repositories - 1.59 thousand downloads last month - 1 stars on GitHub - 1 maintainer
momba-engine 0.6.10
A Python package supercharging Momba with computing capabilities.36 versions - Latest release: 4 months ago - 1 dependent repositories - 1.02 thousand downloads last month - 18 stars on GitHub - 1 maintainer
tlapy 0.0.0
Python tools for working with TLA+ specifications.1 version - Latest release: over 6 years ago - 1 dependent repositories - 11 downloads last month - 0 stars on GitHub - 1 maintainer
racetrack 0.5.8
A formal model of the Racetrack benchmark.17 versions - Latest release: about 2 years ago - 1 dependent repositories - 152 downloads last month - 18 stars on GitHub - 1 maintainer
pynuxmv 0.1.2
Transpile Python to nuXmv source code3 versions - Latest release: over 4 years ago - 1 dependent repositories - 28 downloads last month - 2 stars on GitHub - 1 maintainer
Top 8.7% on pypi.org
35 versions - Latest release: 11 months ago - 2 dependent packages - 1 dependent repositories - 5.79 thousand downloads last month - 147 stars on GitHub - 1 maintainer
miss-hit 0.9.42
Static analysis and other utilities for programs written in the MATLAB/Simulink and Octave langua...35 versions - Latest release: 11 months ago - 2 dependent packages - 1 dependent repositories - 5.79 thousand downloads last month - 147 stars on GitHub - 1 maintainer
mh-python 0.0.12
Matlab to Python/Numpy translator12 versions - Latest release: over 1 year ago - 1 dependent repositories - 159 downloads last month - 147 stars on GitHub - 1 maintainer
fimdp 1.0.2
Package with tools for Resource-constrained Markov Decision Processes2 versions - Latest release: almost 4 years ago - 1 dependent repositories - 30 downloads last month - 3 stars on GitHub - 1 maintainer
fimdpenv 1.0.4
Simulation environments for FiMDP9 versions - Latest release: over 3 years ago - 1 dependent repositories - 59 downloads last month - 1 stars on GitHub - 1 maintainer
tlacli 0.0.1
A wrapper script for running TLA+ from the command line1 version - Latest release: over 4 years ago - 1 dependent repositories - 20 downloads last month - 77 stars on GitHub - 1 maintainer
momba 0.6.10
A Python library for quantitative models.41 versions - Latest release: 4 months ago - 1 dependent repositories - 437 downloads last month - 18 stars on GitHub - 1 maintainer
Top 8.6% on pypi.org
33 versions - Latest release: 11 months ago - 2 dependent packages - 1 dependent repositories - 7.39 thousand downloads last month - 122 stars on GitHub - 1 maintainer
miss-hit-core 0.9.42
Code formatting and code metrics for programs written in the MATLAB/Simulink and Octave languages.33 versions - Latest release: 11 months ago - 2 dependent packages - 1 dependent repositories - 7.39 thousand downloads last month - 122 stars on GitHub - 1 maintainer
intrepyd 0.12.0
Intrepyd Model Checker37 versions - Latest release: over 2 years ago - 1 dependent repositories - 102 downloads last month - 16 stars on GitHub - 1 maintainer
Related Keywords
python
7
formal-verification
4
parser
4
model-checker
4
python3
3
simulink
3
static-analyzer
3
style-checker
3
quantitative-models
3
metrics
3
octave
3
momba
3
models
3
jani-models
3
matlab
3
linter
3
lexer
3
code-formatter
3
model-checking
2
tlaplus
2
agent
2
cmdp
2
smtlib
1
reflective-equilibrium
1
philosophy
1
modelling
1
epistemology
1
specification
1
tla
1
proof-assistants
1
utilities
1
nuxmv
1
polynomial-time
1
buchi-objective
1
controller-synthesis
1
simulation-environment
1
grid-world
1
uuv-dynamics
1
street-network
1
tlc
1
automated-tests
1
pypi
1
smt-solver
1
z3
1
hardware-verification
1
propositional-logic
1
ltlf
1
ltl
1
logic-formalisms
1
logic
1
linear-temporal-logic
1
ldlf
1
formal-logic
1
formal-languages
1
first-order-logic
1
pythogic
1
verification
1
temporal-logic
1
system-verification
1
stream-processing
1
runtime-verification
1
header-only
1
cyber-physical-systems
1
assertion-library
1
proof-assistant
1
formal-system
1
formal system
1
math proof assistant
1
proof assistant
1
proof
1
mathematics
1
math
1
spark
1
protocol-specification
1
protocol-parser
1
formal-specification
1
communication-protocol
1
binary-parser
1
ada
1
swig
1
maude
1
verilog
1
systemverilog
1
satisfiability-modulo-theories
1