Alternatives and similar repositories for orient

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

• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• kframework / vyper-semantics
  KVyper: Semantics of Vyper in K
  ☆41Updated 7 years ago
• vyzo / gerbil-simsub
  A gossipsub protocol simulator
  ☆41Updated 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…
  ☆58Updated 7 years ago
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 8 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆44Updated 4 years ago
• dusk-network / kelvin
  Merkle tree toolkit
  ☆46Updated 5 years ago
• ebfull / halo
  ☆117Updated 4 years ago
• ambientsprotocol / whitepaper
  📄 The Ambients protocol white paper
  ☆45Updated 3 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 3 years ago
• ewasm / ewasm-precompiles
  Implementation of the Ethereum precompiled contracts in Rust.
  ☆51Updated 5 years ago
• matter-labs-archive / powersoftau
  Communal zk-SNARK MPC for Public Parameters
  ☆19Updated 2 years ago
• ewasm / scout
  Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.
  ☆88Updated 5 years ago
• paritytech / oo7-bare
  The Bond API.
  ☆27Updated 7 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• paritytech / rhododendron
  Asynchronously safe BFT consensus, implementation in Rust
  ☆35Updated 6 years ago
• ricmoo / meeseeks-app
  Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.
  ☆27Updated 2 years ago
• filecoin-project / replication-game
  Compete on the fastest replication algorithm
  ☆59Updated 6 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• whiteblock / hobbits
  Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.
  ☆29Updated 6 years ago
• matter-labs-archive / RSAAccumulator
  Initial implementation of RSA accumulator for history compaction in Plasma constructions
  ☆22Updated 7 years ago
• songzLi / coded_merkle_tree
  Coded Merkle Tree
  ☆26Updated 6 years ago
• filecoin-project / research
  Home for Filecoin Research
  ☆73Updated 3 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 4 years ago
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆21Updated 6 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• ZcashFoundation / parity-zcash
  A consensus-compatible Zcash node client written in Rust. 🦓
  ☆81Updated 3 years ago
• jepsen-io / tendermint
  Jepsen tests for the Tendermint distributed byzantine consensus system
  ☆26Updated 8 years ago
• ambientsprotocol / research-ambients
  Ambient Calculus research
  ☆14Updated 4 years ago
• orbitdb-archive / research
  Decentralized Database Research
  ☆14Updated 4 years ago