Alternatives and similar repositories for ipl-examples

Users that are interested in ipl-examples are comparing it to the libraries listed below

• imandra-ai / contracts
  Imandra Contracts - Formal verification of smart contracts
  ☆32Updated 8 years ago
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 10 months ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• tezos / optimal_stack
  Compiler for stack manipulation in Michelson
  ☆14Updated 6 years ago
• RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi
  ☆8Updated 6 years ago
• orchid-hybrid / microKanren-sagittarius
  microKanren sagittarius/larceny
  ☆11Updated 9 years ago
• odipar / spread
  SPREAD
  ☆19Updated 4 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆137Updated 7 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 6 months ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 9 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆39Updated 4 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 6 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• takeoutweight / Clojure-CHR
  Constraint Handling Rules in Clojure
  ☆27Updated 13 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Updated 7 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• tca / veneer
  miniKanren in the browser
  ☆55Updated 9 years ago
• cwi-swat / aterms
  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
• igarnier / ocaml-geth
  Strongly-typed OCaml overlay for Go-Ethereum (geth)
  ☆11Updated 4 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆73Updated 3 months ago
• mica-gossip / MiCA
  MiCA gossip framework research project
  ☆15Updated last year
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago