fluencelabs / aquavmLinks
AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
☆151Updated 6 months ago
Alternatives and similar repositories for aquavm
Users that are interested in aquavm are comparing it to the libraries listed below
Sorting:
- Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme☆200Updated last year
- Programming language for distributed systems & p2p☆161Updated last year
- Quickstart with Fluence, Aqua, and Marine☆86Updated 5 months ago
- Rust backend sdk for the Fluence network☆20Updated last year
- Rust implementation of the Fluence network peer☆990Updated 6 months ago
- CLI tool to help develop services for Fluence☆138Updated 2 weeks ago
- Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.☆170Updated 3 years ago
- JS Client to Fluence Network☆76Updated last year
- SVM - Spacemesh Virtual Machine☆85Updated 2 years ago
- Register and discover services via Aqua☆19Updated 5 months ago
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆118Updated this week
- 🌲 Rust Filecoin Node Implementation☆687Updated this week
- Alternative client for Substrate-based chains.☆319Updated 2 years ago
- Base-16 Modified Patricia Merkle Tree (aka Trie)☆276Updated 2 weeks ago
- Deterministic state machine engine written in Rust☆171Updated 11 months ago
- Reference implementation of the Filecoin Virtual Machine☆415Updated 2 weeks ago
- Client libraries for Tendermint/CometBFT in Rust!☆668Updated last month
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated last year
- Rust IPLD library☆145Updated 3 weeks ago
- Rust implementation of the WebNative FileSystem (WNFS) specification☆164Updated last month
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆422Updated 4 years ago
- Instrument and transform wasm modules.☆51Updated last year
- Automata Network is a modular attestation layer that extends machine trust to Ethereum with TEE Coprocessors.☆95Updated 3 years ago
- Schnorr VRFs and signatures on the Ristretto group☆332Updated last month
- Lightweight, efficient, binary serialization and deserialization codec☆282Updated last week
- 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
- Collection of crates used in Parity projects☆306Updated last week
- A fast and secure RISC-V based virtual machine☆410Updated last week
- IPFS API bindings for Aqua scripts☆19Updated 6 months ago
- Proofs for Filecoin in Rust☆502Updated 2 weeks ago