fluencelabs / aquaLinks
Programming language for distributed systems & p2p
☆160Updated 10 months ago
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 last month
- Rust backend sdk for the Fluence network☆20Updated 11 months ago
- Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme☆202Updated 11 months ago
- Quickstart with Fluence, Aqua, and Marine☆86Updated last month
- Compose practical distributed replication mechanisms☆34Updated 10 months ago
- Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.☆169Updated 2 years ago
- ☆45Updated this week
- Register and discover services via Aqua☆19Updated last month
- IPFS API bindings for Aqua scripts☆19Updated last month
- OpenMina is an implementation in Rust of the Mina Protocol☆106Updated this week
- A minimal decentralized computer.☆118Updated 3 years ago
- JS Client to Fluence Network☆76Updated 10 months ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years 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…☆21Updated last month
- ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain☆65Updated this week
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆86Updated 4 months ago
- Unclog your changelog☆37Updated 8 months ago
- A GraphQL-enabled indexer of the Mina blockchain.☆22Updated last month
- ☆35Updated last week
- Rust SDK for Ledger device applications☆57Updated 2 weeks ago
- SVM - Spacemesh Virtual Machine☆85Updated 2 years ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆445Updated 5 months ago
- Parallel Byzantine Fault Tolerance (R&D)☆11Updated 7 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- Deterministic state machine engine written in Rust☆170Updated 6 months ago
- ☆17Updated last year
- ☆36Updated 3 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated last month
- A Formal Semantics of WebAssembly in K☆82Updated last week