mstn / Petrix
Building Petri Nets in Javascript using Interaction Category semantics
☆14Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for Petrix
- An RDF TripleStore in Java☆46Updated 2 years ago
- Planning Network Visualization☆14Updated 2 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Next-generation end-to-end low code language based on Petri nets.☆16Updated last month
- A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…☆23Updated 9 years ago
- The many experiments that have led to Eve in its current form☆65Updated 5 years ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆50Updated 5 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- Javascript interpreters featuring web workers☆37Updated 8 years ago
- Awesome datalog libraries, tools and resources☆58Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- ☆71Updated 4 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 10 years ago
- Javascript bindings for Irmin☆31Updated 9 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- A massive multiplayer online take on the arcade classic, written as a part of Clojure Cup 2013☆50Updated 10 years ago
- Library containing majority of logic + database calls + misc.☆10Updated 5 years ago
- microKanren implementation from DLS '16☆14Updated 6 years ago
- Datatype agnostic triple store & query engine API☆81Updated 4 years ago
- A library for doing stuff to other stuff.☆213Updated 10 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆11Updated 7 years ago
- An experimental esolang implementation of a Kolmogorov-Uspensky machine☆29Updated 8 years ago
- Grape - Graph Rewriting and Persistence Engine☆29Updated 10 months ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Port of SwiftyKanren to Kotlin☆17Updated 3 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 2 years ago
- Minimalistic, functional, JSON-formatted programming language☆19Updated 7 years ago
- Explorations in durable persistent datastructures for Clojure.☆23Updated 7 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago