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:
- The Heterogeneous Tool Set☆59Updated 3 weeks ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- A tool for symulating discrete-event systems using Petri nets.☆20Updated 8 years ago
- Petri Net Editor☆46Updated 3 years ago
- A collection of Prolog libraries.☆88Updated last year
- KIELER Lightweight Diagams☆37Updated 2 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 9 months ago
- Learn Prolog Now LaTeX sources☆89Updated 3 years ago
- Tool for Creating and Exploring Flow-Based Programming Diagram Hierarchies☆157Updated last month
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- The Melange Language Workbench☆29Updated 2 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Web Native language Workbench with Projectional Web Editor☆71Updated last week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- Reactive Web Programming☆29Updated this week
- Prolog stuff☆27Updated 6 years ago
- SLANG engine written in Go☆104Updated 2 years ago
- Maude Formal Environment☆17Updated 5 years ago
- The MMT Language and System☆76Updated last month
- Prolog HTTPS Servers☆39Updated 7 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- A VS Code extension that provides language support for prolog☆102Updated 2 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Updated 4 years ago
- Large lexicon for APE (~100,000 entries)☆30Updated 6 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated last week
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- DSLs for modeling and analyzing farming systems☆12Updated 8 years ago