fluencelabs / aquaLinks
Programming language for distributed systems & p2p
☆161Updated last year
Alternatives and similar repositories for aqua
Users that are interested in aqua are comparing it to the libraries listed below
Sorting:
- AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to☆151Updated 6 months ago
- Rust backend sdk for the Fluence network☆20Updated last year
- Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme☆200Updated last year
- Compose practical distributed replication mechanisms☆34Updated last year
- Quickstart with Fluence, Aqua, and Marine☆86Updated 5 months ago
- Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.☆170Updated 3 years ago
- Unclog your changelog☆36Updated last week
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆118Updated this week
- ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain☆67Updated last month
- JS Client to Fluence Network☆76Updated last year
- A Framework for building Distributed Consensus Protocols☆10Updated 8 years ago
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated last year
- A minimal decentralized computer.☆118Updated 3 years ago
- ☆35Updated 3 weeks ago
- 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
- Register and discover services via Aqua☆19Updated 5 months ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 5 years ago
- Parallel Byzantine Fault Tolerance (R&D)☆11Updated 8 years ago
- SVM - Spacemesh Virtual Machine☆85Updated 2 years ago
- Instrument and transform wasm modules.☆51Updated last year
- 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
- A Formal Semantics of WebAssembly in K☆83Updated last week
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- Deterministic state machine engine written in Rust☆171Updated 11 months ago
- A GraphQL-enabled indexer of the Mina blockchain.☆22Updated 6 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆81Updated 6 months ago
- A new programming model for asynchronous and distributed programming.☆37Updated 8 years ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆62Updated 3 months ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Updated 10 months ago
- IPFS API bindings for Aqua scripts☆19Updated 6 months ago