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 7 months ago
- Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme☆200Updated last year
- Rust backend sdk for the Fluence network☆20Updated last year
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆119Updated last week
- Quickstart with Fluence, Aqua, and Marine☆86Updated 6 months ago
- Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.☆170Updated 3 years ago
- ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain☆67Updated 2 weeks ago
- Compose practical distributed replication mechanisms☆34Updated last year
- Unclog your changelog☆36Updated last month
- 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 7 months ago
- Register and discover services via Aqua☆19Updated 6 months ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 5 years ago
- SVM - Spacemesh Virtual Machine☆85Updated 3 years ago
- Instrument and transform wasm modules.☆51Updated last year
- JS Client to Fluence Network☆76Updated last year
- A minimal decentralized computer.☆117Updated 3 years ago
- ☆51Updated 2 months ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆29Updated last year
- IPFS API bindings for Aqua scripts☆19Updated 7 months ago
- Proposals and specs☆16Updated 3 years ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆452Updated 11 months ago
- ☆18Updated last year
- A Near contract that provides a registry for appchains of Octopus Network. It manages the metadata of the appchains and their lifecycle i…☆17Updated 2 years ago
- A Formal Semantics of WebAssembly in K☆85Updated 2 weeks ago
- Rust implementation of ErgoTree interpreter and wallet-related features☆77Updated last week
- A GraphQL-enabled indexer of the Mina blockchain.☆23Updated 7 months ago
- ☆37Updated 4 years ago
- Parallel Byzantine Fault Tolerance (R&D)☆11Updated 8 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 8 years ago
- Early-stage research related to the Anoma protocols.☆36Updated 2 years ago