Alternatives and similar repositories for contracts:

Users that are interested in contracts are comparing it to the libraries listed below

• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆26Updated 2 years ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 6 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆51Updated 3 years ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆38Updated 4 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆111Updated 4 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆23Updated last year
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆16Updated 9 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆50Updated 8 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated last year
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 5 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆82Updated 9 years ago
• mmottl / pomap
  OCaml library for partially ordered maps
  ☆15Updated last month
• tezos / optimal_stack
  Compiler for stack manipulation in Michelson
  ☆14Updated 6 years ago
• imandra-ai / fix-engine
  Imandra FIX Engine
  ☆52Updated 3 months ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 7 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆41Updated last year
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• jserot / caph
  A language and toolset for implementing dataflow applications on FPGAs
  ☆27Updated 5 years ago
• AU-COBRA / PoS-NSB
  A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
  ☆25Updated 4 years ago
• UCSD-PL / veridrone
  Foundational Verification of Hybrid Systems
  ☆15Updated 7 years ago