Alternatives and similar repositories for Orbis:

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

• 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 …
  ☆27Updated this week
• input-output-hk / mithril
  Stake-based threshold multi-signatures protocol
  ☆132Updated this week
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• 2nd-Layer / rust-cardano-ouroboros-network
  Rust implementation of networking layer for the Ouroboros blockchain protocol using Tokio framework.
  ☆36Updated last year
• txpipe / scrolls
  Read-optimized cache of Cardano on-chain entities
  ☆91Updated this week
• IntersectMBO / plutus-tx-template
  This is a template repository for kickstarting your plutus-tx smart contract project. Please refer to the README.md for more information…
  ☆16Updated 3 weeks ago
• mlabs-haskell / awesome-plutus
  ☆75Updated last year
• PaimaStudios / paima-engine
  Novel trustless web3/blockchain gaming engine.
  ☆56Updated last month
• input-output-hk / marlowe-cardano
  Marlowe smart contract language Cardano implementation
  ☆94Updated last 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
• runtimeverification / plutus-core-semantics
  ☆27Updated 6 months ago
• txpipe / pallas
  Rust-native building blocks for the Cardano blockchain ecosystem
  ☆160Updated this week
• input-output-hk / chain-wallet-libs
  ☆18Updated last year
• input-output-hk / cardano-configurations
  A common place for finding / maintaining configurations of various services of the Cardano eco-system
  ☆24Updated last month
• omelkonian / formal-utxo
  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
  ☆14Updated 2 months ago
• input-output-hk / partner-chains
  Substrate node with capability of communicating with Cardano network
  ☆43Updated this week
• input-output-hk / iohk-monitoring-framework
  This framework provides logging, benchmarking and monitoring.
  ☆34Updated 4 months ago
• mlabs-haskell / plutip
  A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reas…
  ☆57Updated last month
• Emurgo / message-signing
  ☆29Updated 3 months ago
• IntersectMBO / cardano-launcher
  Shelley cardano-node and cardano-wallet launcher for NodeJS applications
  ☆34Updated last year
• input-output-hk / marlowe-starter-kit
  This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Do…
  ☆20Updated 8 months ago
• OpShin / imperator
  A proof of concept imperative language for writing Plutus Smart Contracts.
  ☆28Updated last year
• dcSpark / cardano-multiplatform-lib
  Rust implementation of Cardano
  ☆102Updated last month
• Plutonomicon / pluto
  An untyped Plutus Core assembler
  ☆33Updated 2 years ago
• IntersectMBO / cardano-haskell-packages
  Metadata for Cardano's Haskell package repository
  ☆34Updated this week
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆82Updated last year
• input-output-hk / catalyst-core
  ⚙️ Core Catalyst Governance Engine and utilities.
  ☆39Updated this week
• txpipe / dolos
  Cardano Data Node
  ☆77Updated this week
• dcSpark / cddl-codegen
  Codegen serialization logic for CBOR automatically from a CDDL specification
  ☆40Updated 4 months ago