imandra-ai / ipl-examplesLinks
Imandra Protocol Language example models
☆11Updated 10 months ago
Alternatives and similar repositories for ipl-examples
Users that are interested in ipl-examples are comparing it to the libraries listed below
Sorting:
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- A miniature version of the l4 language☆12Updated 11 months ago
- SPREAD☆19Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 3 years ago
- Sandbox for playing around with CRDTs☆30Updated 7 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆23Updated 11 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 10 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Updated 5 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆11Updated 4 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆10Updated 9 years ago
- ☆28Updated 8 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Explainable machine learning☆17Updated 6 years ago
- ☆11Updated 10 years ago
- microKanren sagittarius/larceny☆11Updated 10 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- ☆77Updated 2 years ago
- An RDF TripleStore in Java☆47Updated 3 years ago
- working with coq and tezos☆28Updated 7 years ago
- Braid representations in Haskell☆22Updated last year
- a fast uniform random tree generator☆31Updated 2 years ago
- Symbolic financial contract EDSL☆39Updated 4 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A WordNet in GF☆26Updated this week
- Imandra FIX Engine☆52Updated last week
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago