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:
- a visual programming language inspired by Scratch☆51Updated 6 years ago
- Petri Net Editor☆46Updated 3 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Model-Driven Code Generator☆102Updated 3 years ago
- Business Process Modeling☆20Updated 4 years ago
- The Heterogeneous Tool Set☆58Updated 5 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 5 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Learn Prolog Now LaTeX sources☆87Updated 2 years ago
- Optional types for Prolog☆11Updated 6 years ago
- Community contributions to the Grammatical Framework☆61Updated last year
- a literate programming "weaver" which can run as CGI to produce folding HTML-formatted documentation and runs with "noweb" tools of Norma…☆16Updated 15 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- WebDSL compiler☆52Updated last month
- A port of microKanren (Ruby) to CSharp (the f# versions mentioned on the ukanren site look more interesting https://github.com/kurtschelf…☆17Updated 4 years ago
- Tool for Creating and Exploring Flow-Based Programming Diagram Hierarchies☆152Updated 2 weeks ago
- TextUML compiler and the TextUML Toolkit☆76Updated last month
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- A language for data modeling and incremental computing of derived values☆11Updated last year
- A mathematical foundation for Smalltalk-25☆17Updated 2 weeks ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- Prolog HTTPS Servers☆37Updated 7 years ago
- A programming language☆77Updated 12 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- Source code for my web site and blog - yet another remake!☆26Updated 2 months ago
- The Aldor Programming Language☆34Updated 5 months ago
- The MMT Language and System☆75Updated 11 months ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- Whole Platform Language Workbench☆27Updated last year