near / finite-wasmLinks
Cheating a little to solve the halting problem at scale
☆29Updated 3 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:
- Instrument and transform wasm modules.☆51Updated 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 …☆112Updated 5 months ago
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated 9 months ago
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago
- Memory validation framework for Rust☆70Updated 6 months ago
- Build tools for LLMs in Rust using Model Context Protocol☆38Updated 6 months ago
- Efficient state-based CRDT replication and anti-entropy☆68Updated last month
- small distributed database protocol☆31Updated 4 years ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- ⛪ Sacred Compute☆25Updated this week
- ☆15Updated 2 weeks ago
- Easy access to individual bits of integers.☆51Updated 2 years ago
- A minimalist property-based testing library☆116Updated 4 months ago
- An experimental Substrate implementation of the Radicle Registry 📒☆33Updated 5 years ago
- Like FromStr but it owns☆14Updated 5 months ago
- Generic Automatic Differentiation library for Rust (aka "autograd")☆38Updated 3 years ago
- What do you call a pointer we stole the high bits off? An ointer.☆87Updated 2 years ago
- Human-friendly indexed collections☆54Updated 3 months ago
- Deploy dioxus-web to Vercel.☆28Updated last year
- An Elliptic-Curve Based Secure Chat, written using Rust and Protobuf!☆52Updated 11 months ago
- A distributed execution framework built upon lunatic.☆16Updated last year
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Rust implementation of the Binary Canonical Serialization (BCS) format☆84Updated last year
- Ed25519 suitable for use in consensus-critical contexts.☆49Updated last year
- A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.☆31Updated last week
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- c'est le marché☆40Updated 2 years ago
- Efficient multi-agent task automation and management system.☆34Updated last month
- Benchmark of Finite State Machine approaches☆28Updated 4 years ago