Alternatives and similar repositories for Orbis:

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

• PaimaStudios / Starstream
  Implementation experiments as part of the design process of Starstream VM
  ☆11Updated this week
• input-output-hk / partner-chains
  Substrate node with capability of communicating with Cardano network
  ☆51Updated this week
• runtimeverification / plutus-core-semantics
  ☆27Updated 9 months ago
• input-output-hk / mithril
  Stake-based threshold multi-signatures protocol
  ☆137Updated this week
• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆33Updated this week
• zeko-labs / zeko
  Zeko: zk-Rollup for Mina, a succinct blockchain
  ☆29Updated last week
• txpipe / scrolls
  Read-optimized cache of Cardano on-chain entities
  ☆92Updated 2 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆64Updated 2 years ago
• input-output-hk / casino
  Demo / PoC / implementation of IOHK MPC protocols
  ☆19Updated 6 years ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• PaimaStudios / paima-engine
  Novel trustless web3/blockchain gaming engine.
  ☆57Updated 2 weeks ago
• input-output-hk / hermes
  🏛️ Hermes is a high-availability blockchain voting database that acts as a distributed storage and event processor for voting events, pr…
  ☆15Updated last month
• input-output-hk / partner-chains-smart-contracts
  Command Line Tool and Cardano Plutus Contracts for interacting with Partner Chains.
  ☆10Updated last month
• IntersectMBO / cardano-launcher
  Shelley cardano-node and cardano-wallet launcher for NodeJS applications
  ☆34Updated last year
• anoma / ethereum-bridge
  A generalized fully trustless Ethereum bridge for sovereign chains.
  ☆13Updated last year
• IntersectMBO / ouroboros-consensus
  Implementation of a Consensus Layer for the Ouroboros family of protocols
  ☆50Updated this week
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• txpipe / pallas
  Rust-native building blocks for the Cardano blockchain ecosystem
  ☆169Updated this week
• Liqwid-Labs / plutus-extra
  Helper libraries for Plutus.
  ☆49Updated 2 years ago
• cspr-rad / kairos-trie
  ☆11Updated 7 months ago
• omelkonian / formal-utxo
  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
  ☆14Updated 4 months ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆35Updated 3 weeks ago
• marlowe-lang / marlowe-cardano
  Marlowe smart contract language Cardano implementation
  ☆96Updated 2 weeks ago
• ergoplatform / ergo-headless-dapp-framework
  An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.
  ☆25Updated 3 years ago
• mlabs-haskell / awesome-plutus
  ☆74Updated last year
• openmina / openmina
  Mina Rust Node
  ☆93Updated this week
• 2nd-Layer / rust-cardano-ouroboros-network
  Rust implementation of networking layer for the Ouroboros blockchain protocol using Tokio framework.
  ☆37Updated 2 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆52Updated 8 months ago
• dcSpark / cddl-codegen
  Codegen serialization logic for CBOR automatically from a CDDL specification
  ☆39Updated 6 months ago
• Plutonomicon / pluto
  An untyped Plutus Core assembler
  ☆35Updated 3 years ago