near / finite-wasmLinks
Cheating a little to solve the halting problem at scale
☆32Updated 3 weeks 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
- A collection of tools to make integrating Axum with the browser easier☆13Updated 2 years ago
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated last year
- A distributed execution framework built upon lunatic.☆16Updated last year
- Turns running Rust code into a serializable data structure.☆27Updated 3 years ago
- Memory validation framework for Rust☆70Updated 2 months ago
- Graph library for Rust☆27Updated 3 months ago
- small distributed database protocol☆31Updated 4 years ago
- Human-friendly indexed collections☆56Updated last month
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆152Updated 8 months ago
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆18Updated 9 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
- ☆17Updated 3 months ago
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago
- ⛪ Sacred Compute - decentralized compute network☆31Updated this week
- Easy access to individual bits of integers.☆51Updated 2 years ago
- Rust implementation of the WebNative FileSystem (WNFS) specification☆164Updated last month
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- A cargo subcommand that extends cargo's capabilities when it comes to code generation.☆62Updated 4 months ago
- Versionize is a framework for version tolerant serializion/deserialization of Rust data structures, designed for usecases that need fast …☆62Updated last year
- An object system for Rust based on relative pointers☆38Updated 2 years ago
- Build tools for LLMs in Rust using Model Context Protocol☆38Updated 9 months ago
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year
- Efficient multi-agent task automation and management system.☆36Updated 4 months ago
- ☆16Updated 8 months ago
- ☆51Updated 2 weeks ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆57Updated 2 months ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆20Updated 2 years ago
- Rust library for versioned data types☆71Updated 5 months ago
- c'est le marché☆40Updated 2 years ago