near / finite-wasmLinks
Cheating a little to solve the halting problem at scale
☆28Updated 2 months ago
Alternatives and similar repositories for finite-wasm
Users that are interested in finite-wasm are comparing it to the libraries listed below
Sorting:
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆107Updated 4 months ago
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated 8 months ago
- Instrument and transform wasm modules.☆51Updated last year
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- A C compiler, written in Rust.☆10Updated 3 years ago
- An implementation of the Austral language compiler in Rust☆14Updated last year
- Easy access to individual bits of integers.☆51Updated 2 years ago
- Generic Automatic Differentiation library for Rust (aka "autograd")☆38Updated 3 years ago
- Rust port of the streaming ddelta patch algorithm, based on bsdiff☆11Updated last year
- Rust implementation of the Binary Canonical Serialization (BCS) format☆84Updated last year
- small distributed database protocol☆31Updated 4 years ago
- Memory validation framework for Rust☆69Updated 6 months ago
- A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.☆30Updated this week
- LLaMA from First Principles☆51Updated 2 years ago
- Rust implementation of the WebNative FileSystem (WNFS) specification☆166Updated 10 months ago
- Rust Read-Evaluate-Print-Loop utility crate☆14Updated 2 years ago
- A distributed execution framework built upon lunatic.☆16Updated last year
- The Dusk Rust WASM VM implementation☆56Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated last year
- ☆15Updated 2 months ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 5 years ago
- A partial actor pattern with a global orchestrator.☆29Updated last month
- Check that a crate builds without libstd☆25Updated 4 years ago
- A ziglang implementation of the SSZ serialization protocol☆25Updated 2 months ago
- UCAN Invocation & Pipelining☆15Updated 3 weeks ago
- Human-friendly indexed collections☆54Updated 2 months ago
- Rust wrapper over nwaku ffi☆16Updated 4 months ago
- Efficient state-based CRDT replication and anti-entropy☆66Updated 3 weeks ago
- FN-DSA (Falcon) signature scheme☆43Updated 4 months ago
- Rust library for versioned data types☆70Updated last month