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☆46Updated 3 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- KIELER Lightweight Diagams☆37Updated last month
- Learn Prolog Now LaTeX sources☆89Updated 2 years ago
- SLANG engine written in Go☆104Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- The MMT Language and System☆76Updated 3 weeks ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- A tool for symulating discrete-event systems using Petri nets.☆20Updated 8 years ago
- The Heterogeneous Tool Set☆59Updated 8 months ago
- Prolog HTTPS Servers☆39Updated 7 years ago
- The Melange Language Workbench☆29Updated 2 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated last month
- Web Native language Workbench with Projectional Web Editor☆71Updated last week
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- A visual, purely functional programming language☆32Updated 9 years ago
- Explorations in relations and the algebra of programming☆17Updated 6 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated last week
- Tool for Creating and Exploring Flow-Based Programming Diagram Hierarchies☆157Updated 2 weeks ago
- A suite of tools for Petri Nets☆13Updated 2 years ago
- A collection of Prolog libraries.☆88Updated last year
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- A language for data modeling and incremental computing of derived values☆11Updated last year
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated last year
- the stanford graphbase, by donald knuth☆17Updated 9 years ago
- Maude Formal Environment☆17Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last week