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
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- A protocol based monad implementation for clojure☆62Updated 11 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years ago
- The metacircular evaluator(ish)☆17Updated 10 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
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 3 weeks ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.☆43Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 8 years ago
- (pre-alpha) Implementation of Jeff Hawkins' Hierarchical Temporal Memory & Cortical Learning Algorithm☆183Updated 9 years ago
- A massive multiplayer online take on the arcade classic, written as a part of Clojure Cup 2013☆50Updated 11 years ago
- Datalog query engine for PouchDB.☆24Updated 10 years ago
- automatic differentiation/integration of PDEs☆24Updated 7 years ago
- Hierarchical Temporal Memory in Clojure☆154Updated 9 years ago
- ☆71Updated 5 years ago
- The best Prolog visualizer☆85Updated 2 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…☆92Updated last year
- Planning Network Visualization☆14Updated 3 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- parsley is dead, long live parsnip!☆17Updated 11 years ago
- An experimental esolang implementation of a Kolmogorov-Uspensky machine☆29Updated 9 years ago
- Probabilistic miniKanren☆65Updated 9 years ago
- Natural Language Datalog☆134Updated 7 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- Compiler and runtime engine for NetLogo models that runs in JavaScript 🐢☆55Updated last week