imandra-ai / ipl-examples

Related projects ⓘ

Alternatives and complementary repositories for ipl-examples

• imandra-ai / contracts
  Imandra Contracts - Formal verification of smart contracts
  ☆32Updated 8 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 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
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 3 months ago
• tezos / optimal_stack
  Compiler for stack manipulation in Michelson
  ☆14Updated 5 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆137Updated 7 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆82Updated 9 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆102Updated 4 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 5 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆50Updated 8 years ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆24Updated this week
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• naturalog / tauchain
  idni.org
  ☆75Updated 6 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 6 months ago
• softlang / yas
  Yet Another Software Language Repository
  ☆19Updated 2 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆170Updated 7 months ago
• igarnier / ocaml-geth
  Strongly-typed OCaml overlay for Go-Ethereum (geth)
  ☆11Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 4 years ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆51Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆261Updated 3 weeks ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated last month
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆11Updated 5 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆218Updated 6 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 8 years ago
• Incubaid / baardskeerder
  A persistent B-ish-tree
  ☆55Updated 5 years ago