Alternatives and similar repositories for ocaml-offchain

Users that are interested in ocaml-offchain are comparing it to the libraries listed below

• PerunEthereum / Perun
  Implementation of the Perun protocol
  ☆49Updated 5 years ago
• TrueBitFoundation / webasm-solidity
  [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
  ☆67Updated 5 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• mrsmkl / truebit-plasma
  Template for implementing Plasma child chains with Truebit
  ☆50Updated 7 years ago
• GridPlus / cryptobridge-contracts
  Smart contracts for trustless bridges
  ☆75Updated 5 years ago
• shamatar / go-snarks
  Set of functions for golang verification of zkSNARKs
  ☆31Updated 7 years ago
• nomic-io / bitcoin-peg
  Bitcoin sidechain module for Lotion and Coins (A Cosmos Bitcoin peg zone implementation)
  ☆72Updated 4 years ago
• omni / poa-bridge
  POA <-> Ethereum bridge for self transfers of POA native token to POA20 (ERC20 representation). Not supported. Use TokenBridge instead
  ☆82Updated 3 years ago
• TruebitProtocol / wiki
  Classic source for Truebit documentation
  ☆59Updated 4 years ago
• kyokan / plasma
  Golang implementation and extension of the Minimum Viable Plasma specification
  ☆70Updated 4 years ago
• cosmos / ledger-cosmos-obsolete
  Ledger Nano S support for Tendermint/Cosmos
  ☆42Updated 5 years ago
• Consensys / Project-Alchemy
  Ethereum-Zcash Integration effort
  ☆66Updated 6 years ago
• counterfactual / paper
  📄 Counterfactual: Generalized State Channels Paper
  ☆57Updated 7 years ago
• TrueBitFoundation / truebit-os
  [DEPRECATED] Interactive client
  ☆82Updated 5 years ago
• poanetwork / poa-network-consensus-contracts
  Main repository for POADAO consensus. Includes contracts for Initial Ceremony, Governance, Management of Validators
  ☆69Updated 2 years ago
• omgnetwork / research
  ☆43Updated 5 years ago
• tendermint / testnets
  Config files for connecting to testnets
  ☆17Updated 7 years ago
• pirapira / vmtrace_visualizer
  A program that annotates a vm trace with dataflow information
  ☆35Updated 3 years ago
• chriseth / patricia-trie
  ☆64Updated 3 years ago
• ethersphere / swarm-guide
  Swarm Documentation
  ☆77Updated 6 years ago
• ethereum / benchmarking
  Benchmarking data for EVM ops and precompiles
  ☆21Updated 2 years ago
• FourthState / plasma-research
  Research documents related to our implementation
  ☆43Updated 6 years ago
• opporty-com / Plasma-Cash
  We have opted to continue our development efforts towards Opporty's Plasma Cash development. To learn more about Opporty Plasma Cash, pl…
  ☆34Updated 2 years ago
• jtremback / universal-state-channels
  ☆66Updated 9 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• stonecoldpat / statechannels
  An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.
  ☆35Updated 2 years ago
• filecoin-project / research
  Home for Filecoin Research
  ☆73Updated 3 years ago
• Drops-of-Diamond / diamond_drops
  WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programmi…
  ☆57Updated 7 years ago
• ethereum / plasma
  ☆29Updated 5 years ago
• cosmos / research
  ☆22Updated 5 years ago