near / finite-wasmLinks
Cheating a little to solve the halting problem at scale
☆30Updated 5 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.☆52Updated last year
- small distributed database protocol☆31Updated 4 years ago
- ⛪ Sacred Compute - decentralized compute network☆31Updated this week
- Generic Automatic Differentiation library for Rust (aka "autograd")☆38Updated 4 years ago
- Human-friendly indexed collections☆56Updated last month
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated last year
- Graph library for Rust☆27Updated 2 months ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆148Updated 7 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆24Updated 6 months ago
- Efficient state-based CRDT replication and anti-entropy☆69Updated 2 months ago
- Rust Vector for large amounts of data, that does not copy when growing, by using full `mmap`'d pages.☆22Updated last year
- Memory validation framework for Rust☆70Updated last month
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago
- Easy access to individual bits of integers.☆51Updated 2 years ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- A distributed execution framework built upon lunatic.☆16Updated last year
- Rust encryption library for practical time-lock encryption.☆35Updated last year
- A collection of tools to make integrating Axum with the browser easier☆13Updated 2 years ago
- Build tools for LLMs in Rust using Model Context Protocol☆38Updated 8 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆89Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- ☆50Updated 3 weeks ago
- Rust implementation of the Binary Canonical Serialization (BCS) format☆85Updated 2 years ago
- Efficient multi-agent task automation and management system.☆35Updated 4 months ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated 2 years ago
- MnemOS Global Networking Protocol☆15Updated last year
- An experimental Substrate implementation of the Radicle Registry 📒☆33Updated 5 years ago
- Implementation of bitswap protocol for libp2p☆18Updated 2 months ago
- Check that a crate builds without libstd☆25Updated 4 years ago