near / finite-wasmLinks
Cheating a little to solve the halting problem at scale
☆28Updated last month
Alternatives and similar repositories for finite-wasm
Users that are interested in finite-wasm are comparing it to the libraries listed below
Sorting:
- A collection of tools to make integrating Axum with the browser easier☆13Updated last year
- A partial actor pattern with a global orchestrator.☆28Updated last week
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆24Updated 7 months ago
- A content-addressable datastore for WebAssembly modules☆54Updated 8 months ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 10 months ago
- Experimental (machine-type-abstracting?) ranged types in Rust☆13Updated 3 years ago
- ☆14Updated last month
- An implementation of the Austral language compiler in Rust☆14Updated last year
- A Rust implementation of the Strobe protocol framework☆27Updated 3 months ago
- ☆11Updated last year
- A CLI to document Rust code☆12Updated 2 years ago
- A distributed execution framework built upon lunatic.☆16Updated last year
- ☆38Updated last week
- Differentiable Rust Graphs (neural network library)☆16Updated 6 years ago
- Rust cli tool for running multiple commands in parallel☆21Updated 8 months ago
- A synchronous message passing channel that only retains the most recent value.☆13Updated 2 years ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆83Updated 2 months ago
- This is a project to learn how to implement instruction dispatch in Rust.☆23Updated 11 months ago
- Asynchronous Software Transactional Memory library for Rust☆26Updated last year
- Graph model execution API for Candle☆13Updated 7 months ago
- small distributed database protocol☆31Updated 4 years ago
- ☆19Updated 2 years ago
- Source code and logic to build ZeroMQ from source☆11Updated last month
- Instrument and transform wasm modules.☆50Updated 10 months ago
- A poptrie implementation☆18Updated last year
- Check that a crate builds without libstd☆25Updated 4 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- UCAN Invocation & Pipelining☆14Updated 10 months ago
- near-memory-tracker☆12Updated last year