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:
- Petri Net Editor☆45Updated 3 years ago
- Interface from C# to SWI-Prolog☆27Updated 5 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 4 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- A fuzzy logic extension of the CLIPS☆73Updated 9 years 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
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Optional types for Prolog☆11Updated 6 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10Updated 9 years ago
- The Melange Language Workbench☆29Updated last year
- If at first you don't succeed☆12Updated 4 years ago
- KIELER Lightweight Diagams☆36Updated 3 weeks ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- Menthor Editor☆30Updated 4 years ago
- Regular expressions for Prolog☆17Updated 7 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Updated last month
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- ☆44Updated last year
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Chimera: Execution Engine for Case Management☆14Updated 4 years ago
- Community contributions to the Grammatical Framework☆60Updated 10 months ago
- Prolog HTTPS Servers☆37Updated 7 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆58Updated 3 years ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated last month
- A generator of domain-specific language (DSL) editors for web applications and cloud IDEs.☆79Updated 2 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 last week
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago