iig-uni-freiburg / WOLFGANGLinks
Petri Net Editor
☆26Updated 7 years ago
Alternatives and similar repositories for WOLFGANG
Users that are interested in WOLFGANG are comparing it to the libraries listed below
Sorting:
- PIPE - Platform Independent Petri Net Editor☆240Updated 3 years ago
- gemoc-studio☆28Updated 3 months ago
- This repository hosts all the projects used in the MDSE Book☆15Updated 5 years ago
- A suite of tools for Petri Nets☆13Updated 2 years ago
- Petri Net Editor☆45Updated 3 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Java colored/timed petrinet simulator☆14Updated 14 years ago
- Learn Prolog Now LaTeX sources☆87Updated 2 years ago
- SNAKES is the Net Algebra Kit for Editors and Simulators☆93Updated last year
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- TextUML compiler and the TextUML Toolkit☆76Updated last month
- A Tool for Multi-Paradigm Modeling☆24Updated 9 months ago
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆23Updated 5 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 5 months ago
- Open Source Parts of IETS3☆54Updated this week
- Modelica Vector graphics Editor☆16Updated 4 years ago
- The Melange Language Workbench☆29Updated last year
- ☆43Updated 7 months ago
- KIELER Lightweight Diagams☆36Updated 2 weeks ago
- A Prolog kernel for Jupyter☆60Updated 6 years ago
- A language for data modeling and incremental computing of derived values☆11Updated last year
- WoPeD Rich Client☆31Updated this week
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- The Heterogeneous Tool Set☆58Updated 5 months ago
- a book about declarative language definition☆23Updated 9 years ago
- A generator of domain-specific language (DSL) editors for web applications and cloud IDEs.☆79Updated 2 years ago
- a visual programming language inspired by Scratch☆51Updated 6 years ago