mstn / Petrix
Building Petri Nets in Javascript using Interaction Category semantics
☆14Updated 8 years ago
Alternatives and similar repositories for Petrix:
Users that are interested in Petrix are comparing it to the libraries listed below
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…☆23Updated 10 years ago
- An RDF TripleStore in Java☆46Updated 3 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- Planning Network Visualization☆14Updated 3 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆51Updated 5 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- Next-generation end-to-end low code language based on Petri nets.☆17Updated last week
- Simple, extensible bytecode interpreter☆26Updated 9 years ago
- Clojure code editor wrapping Flense☆22Updated 9 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Java implementation of the reform dynamic drawing application inspired by Bret Victor's talk "Drawing Dynamic Visualizations"☆18Updated 8 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- ☆71Updated 4 years ago
- ☆40Updated 6 years ago
- Gizmo is an effortless way to create web applications in Clojure☆41Updated 9 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 3 years ago
- A zipper library for Clojure that navigates graph structures☆19Updated 12 years ago
- A massive multiplayer online take on the arcade classic, written as a part of Clojure Cup 2013☆50Updated 10 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- Explorations in durable persistent datastructures for Clojure.☆22Updated 7 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Functional first-aid for JavaScript/jQuery code☆23Updated 9 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- A library for doing stuff to other stuff.☆213Updated 11 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago