AToMPM / atompm
A Tool for Multi-Paradigm Modeling
☆24Updated 6 months ago
Alternatives and similar repositories for atompm:
Users that are interested in atompm are comparing it to the libraries listed below
- Main repository of the GreatSPN framework☆45Updated last month
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- Language bindings for Maude☆21Updated 3 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- action language providing open class mechanism to xtend/java☆25Updated last year
- ☆34Updated 4 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 3 weeks ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆106Updated last year
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- The Melange Language Workbench☆29Updated last year
- Open Source AADL2 Tool Environment☆44Updated 5 months ago
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆24Updated last month
- Online BDD Simulation Tool☆18Updated 2 years ago
- Execute and document benchmarks reproducibly.☆90Updated 2 months ago
- ⛓️ Extension of clingo to handle constraints over integers☆26Updated 2 months ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated 2 years ago
- ☆12Updated 6 years ago
- The Cubicle model checker☆13Updated last year
- Kodkod solver for relational logic☆74Updated last year
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- A standard for floating point accuracy benchmarks☆49Updated 3 weeks ago
- LibPoly is a C library for manipulating polynomials☆51Updated 3 months ago
- Operations with matrices, SWI pack☆13Updated last year
- The LTSmin model checking toolset☆58Updated 5 months ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Python interpreter for TLA+ specifications☆112Updated 10 months ago