fluencelabs / aquavm
AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
☆151Updated 2 weeks ago
Alternatives and similar repositories for aquavm
Users that are interested in aquavm are comparing it to the libraries listed below
Sorting:
- CLI tool to help develop services for Fluence☆138Updated last month
- Quickstart with Fluence, Aqua, and Marine☆87Updated 3 weeks ago
- Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme☆202Updated 8 months ago
- JS Client to Fluence Network☆75Updated 7 months ago
- Programming language for distributed systems & p2p☆159Updated 7 months ago
- Standard library for aqua language☆9Updated 2 months ago
- Rust implementation of the Fluence network peer☆992Updated last month
- Fluence Docs☆3Updated last week
- Rust backend sdk for the Fluence network☆20Updated 9 months ago
- 🌲 Rust Filecoin Node Implementation☆659Updated this week
- 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
- Decentralized twitter-like feed built with Fluence☆10Updated 5 years ago
- Proofs for Filecoin in Rust☆496Updated 4 months ago
- Register and discover services via Aqua☆19Updated 2 weeks ago
- Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.☆168Updated 2 years ago
- Reference implementation of the Filecoin Virtual Machine☆403Updated 2 weeks ago
- Filecoin Full Node Implementation in Go☆2,061Updated last week
- Alternative client for Substrate-based chains.☆313Updated last year
- The Filecoin built-in actors☆87Updated 2 weeks ago
- ☆16Updated 2 weeks ago
- Noah is a library that provide tools to create and verify public transaction with confidential data.☆97Updated last year
- The proof systems used by Mina☆440Updated this week
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆446Updated 2 months ago
- IBC Relayer in Rust☆478Updated this week
- Client libraries for Tendermint/CometBFT in Rust!☆644Updated last week
- A framework for generalized shielded state transitions☆150Updated 8 months ago
- home of the FVM (Filecoin Virtual Machine) project ⚙️☆173Updated 2 years ago
- Framework for building smart contracts in Wasm for the Cosmos SDK☆1,105Updated last week
- CKB's vm, based on open source RISC-V ISA☆400Updated 3 weeks ago
- zk-SNARK library.☆1,075Updated 10 months ago