mstn / PetrixLinks
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
Sorting:
- An RDF TripleStore in Java☆47Updated 3 years ago
- Planning Network Visualization☆14Updated 3 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
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Library containing majority of logic + database calls + misc.☆10Updated 6 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- CRDTs in Clojure☆47Updated 9 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- FRP with 3DF and Differential Dataflow.☆26Updated 5 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆90Updated last year
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Updated 11 years ago
- Explorations in durable persistent datastructures for Clojure.☆22Updated 7 years ago
- experimental computational medium and supporting tools☆22Updated last week
- A library for doing stuff to other stuff.☆215Updated 11 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- Natural Language Datalog☆130Updated 7 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated last week
- A self-hosting Scheme to JavaScript compiler☆33Updated 15 years ago