Alternatives and similar repositories for aqua

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

• fluencelabs / aquavm
  AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
  ☆151Updated 6 months ago
• fluencelabs / marine-rs-sdk
  Rust backend sdk for the Fluence network
  ☆20Updated last year
• fluencelabs / marine
  Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme
  ☆200Updated last year
• replica-io / replica-io
  Compose practical distributed replication mechanisms
  ☆34Updated last year
• fluencelabs / examples
  Quickstart with Fluence, Aqua, and Marine
  ☆86Updated 5 months ago
• ChainSafe / mina-rs
  Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.
  ☆170Updated 3 years ago
• informalsystems / unclog
  Unclog your changelog
  ☆36Updated last week
• o1-labs / mina-rust
  The Mina Rust node is an implementation in Rust of the Mina Protocol
  ☆118Updated this week
• ergoplatform / sigmastate-interpreter
  ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain
  ☆67Updated last month
• fluencelabs / js-client
  JS Client to Fluence Network
  ☆76Updated last year
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 8 years ago
• near / wasmer
  🚀 The leading WebAssembly Runtime supporting WASI and Emscripten
  ☆25Updated last year
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• sideeffffect / scala-rust-interop
  ☆35Updated 3 weeks ago
• fluencelabs / fRPC-Substrate
  Fluence's fRPC Substrate is a starter kit that includes all the components you need to quickly enable your dAPP with decentralized RPC us…
  ☆20Updated 6 months ago
• fluencelabs / registry
  Register and discover services via Aqua
  ☆19Updated 5 months ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 5 years ago
• pheymann / scala.bft
  Parallel Byzantine Fault Tolerance (R&D)
  ☆11Updated 8 years ago
• spacemeshos / svm
  SVM - Spacemesh Virtual Machine
  ☆85Updated 2 years ago
• paritytech / wasm-instrument
  Instrument and transform wasm modules.
  ☆51Updated last year
• lurk-lab / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆452Updated 10 months ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆83Updated last week
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• turbofish-org / orga
  Deterministic state machine engine written in Rust
  ☆171Updated 11 months ago
• Granola-Team / mina-indexer
  A GraphQL-enabled indexer of the Mina blockchain.
  ☆22Updated 6 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆81Updated 6 months ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆37Updated 8 years ago
• informalsystems / cosmos.nix
  A reproducible package set for Cosmos, IBC and CosmWasm
  ☆62Updated 3 months ago
• freespek / solarkraft
  Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
  ☆12Updated 10 months ago
• fluencelabs / aqua-ipfs
  IPFS API bindings for Aqua scripts
  ☆19Updated 6 months ago