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.☆20Updated 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
- KIELER Lightweight Diagams☆39Updated last week
- Web Native language Workbench with Projectional Web Editor☆73Updated last week
- The Melange Language Workbench☆29Updated 2 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Prolog HTTPS Servers☆39Updated 7 years ago
- The MMT Language and System☆79Updated 3 months ago
- The SWI-Prolog HTTP server and client libraries☆27Updated last week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- A collection of Prolog libraries.☆88Updated last year
- The Heterogeneous Tool Set☆59Updated 2 months ago
- ☆71Updated 5 years ago
- Learn Prolog Now LaTeX sources☆101Updated 3 years ago
- Software specification and verification system based on graph rewriting☆37Updated 3 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated last month
- PRolog Equation Solving System☆29Updated 9 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- Open Source Parts of IETS3☆54Updated last week
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- Whole Platform Language Workbench☆28Updated last year
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- If at first you don't succeed☆12Updated 5 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
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- A VS Code extension that provides language support for prolog☆103Updated 2 years ago