AToMPM / atompm
A Tool for Multi-Paradigm Modeling
☆23Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for atompm
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆13Updated 2 weeks ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- ⛓️ Extension of clingo to handle constraints over integers☆25Updated 2 months ago
- ☆34Updated 4 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- The Melange Language Workbench☆28Updated last year
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆13Updated 2 years ago
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆46Updated 3 weeks ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- C Language Analysis in Rascal☆25Updated last week
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago
- ☆12Updated 6 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- ☆43Updated 9 months ago
- Execute and document benchmarks reproducibly.☆85Updated this week
- Language server for domain specific languages based on textX☆38Updated last month
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 8 months ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- SAT solver for education☆25Updated 2 years ago
- a book about declarative language definition☆23Updated 8 years ago
- Kodkod solver for relational logic☆74Updated last year
- Core OpenMETA Framework☆27Updated last year
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆62Updated last year
- Language bindings for Maude☆19Updated 7 months ago