near / finite-wasmLinks
Cheating a little to solve the halting problem at scale
☆30Updated 4 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:
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated 10 months ago
- Instrument and transform wasm modules.☆52Updated last year
- A distributed execution framework built upon lunatic.☆16Updated last year
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- Rust implementation of the WebNative FileSystem (WNFS) specification☆165Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆115Updated 5 months ago
- small distributed database protocol☆31Updated 4 years ago
- Easy access to individual bits of integers.☆51Updated 2 years ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- ☆45Updated last week
- Memory validation framework for Rust☆70Updated 7 months ago
- A collection of tools to make integrating Axum with the browser easier☆13Updated 2 years ago
- Human-friendly indexed collections☆55Updated last week
- A minimalist property-based testing library☆116Updated 4 months ago
- Build tools for LLMs in Rust using Model Context Protocol☆38Updated 7 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- A partial actor pattern with a global orchestrator.☆30Updated 2 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆87Updated 2 years ago
- Reading DWARF information from wasm files.☆19Updated 7 years ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆79Updated 3 months ago
- An object system for Rust based on relative pointers☆38Updated 2 years ago
- Rust SDK for Ledger device applications☆58Updated this week
- Generic Automatic Differentiation library for Rust (aka "autograd")☆38Updated 3 years ago
- Turns running Rust code into a serializable data structure.☆24Updated 2 years ago
- ⛪ Sacred Compute - decentralized compute network☆30Updated this week
- Ed25519 suitable for use in consensus-critical contexts.☆49Updated last year
- FN-DSA (Falcon) signature scheme☆45Updated 5 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆20Updated 4 months ago
- ☆15Updated last month
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago