imandra-ai / ipl-examplesLinks
Imandra Protocol Language example models
☆12Updated last year
Alternatives and similar repositories for ipl-examples
Users that are interested in ipl-examples are comparing it to the libraries listed below
Sorting:
- ☆10Updated 9 years ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 9 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Updated 2 months ago
- Examples for Probabilistic System Anglican☆13Updated 6 years ago
- SPREAD☆18Updated 4 years ago
- An RDF TripleStore in Java☆47Updated 4 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 8 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 11 years ago
- Constraint Handling Rules in Clojure☆28Updated 14 years ago
- A massive multiplayer online take on the arcade classic, written as a part of Clojure Cup 2013☆50Updated 11 years ago
- ☆20Updated 7 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Updated 9 years ago
- Java <-> XSB Prolog bridge library☆12Updated 5 years ago
- An experimental esolang implementation of a Kolmogorov-Uspensky machine☆29Updated 9 years ago
- Sandbox for playing around with CRDTs☆31Updated 8 years ago
- automatic differentiation/integration of PDEs☆24Updated 7 years ago
- The Linda process coordination language written in Clojure.☆27Updated 10 years ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- Planning Network Visualization☆14Updated 4 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.☆43Updated 8 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Updated 4 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 3 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 10 years ago
- An exploration of hypervectors and word vectors☆26Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Updated 4 years ago
- explorations in core.logic☆118Updated last year
- ClojureScript REPL on Nashorn☆49Updated 11 years ago