iig-uni-freiburg / WOLFGANGLinks
Petri Net Editor
☆26Updated 8 years ago
Alternatives and similar repositories for WOLFGANG
Users that are interested in WOLFGANG are comparing it to the libraries listed below
Sorting:
- Petri Net Editor☆46Updated 3 years ago
- A tool for symulating discrete-event systems using Petri nets.☆19Updated 9 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- The Heterogeneous Tool Set☆59Updated 3 months ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated 3 weeks ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 12 years ago
- SLANG engine written in Go☆104Updated 2 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆57Updated this week
- Chimera: Execution Engine for Case Management☆14Updated 5 years ago
- Spoofax runtime☆158Updated 8 months ago
- KIELER Lightweight Diagams☆39Updated 3 weeks ago
- A language for data modeling and incremental computing of derived values☆11Updated last year
- gemoc-studio☆28Updated 10 months ago
- Yet Another Workflow Language☆110Updated this week
- Learn Prolog Now LaTeX sources☆101Updated 3 years ago
- Whole Platform Language Workbench☆28Updated last year
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Modelica Vector graphics Editor☆16Updated 5 years ago
- Web Native language Workbench with Projectional Web Editor☆74Updated this week
- The Melange Language Workbench☆29Updated 2 years ago
- A DSL capable of specifying arbitrary skeletons with interrelationships, constraints, and bounded parameters☆20Updated 3 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆133Updated 3 weeks ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- The MMT Language and System☆79Updated 4 months ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆56Updated 3 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 4 months ago
- ☆34Updated 5 years ago
- Model-Driven Code Generator☆103Updated 3 years ago
- ☆71Updated 5 years ago