near / finite-wasm
Cheating a little to solve the halting problem at scale
☆27Updated 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
- A partial actor pattern with a global orchestrator.☆27Updated 5 months ago
- Source code and logic to build ZeroMQ from source☆11Updated 4 months ago
- Check that a crate builds without libstd☆24Updated 4 years ago
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆23Updated 3 months ago
- Rust cli tool for running multiple commands in parallel☆21Updated 4 months ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated 10 months ago
- Minimal Prolog implemented in Rust☆43Updated 5 months ago
- Prototyping the performance of various components of a theoretical faster Twitter☆63Updated 2 years ago
- WASI logging API☆21Updated 5 months ago
- Instrument and transform wasm modules.☆49Updated 7 months ago
- Fission-focused Rust and Rust+Wasm project templates☆42Updated this week
- egg is a flexible, high-performance e-graph library☆11Updated 10 months ago
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 4 years ago
- Interface Driven Distributed Data Service☆17Updated last month
- An implementation of the Austral language compiler in Rust☆14Updated 10 months ago
- A content-addressable datastore for WebAssembly modules☆54Updated 5 months ago
- A poptrie implementation☆18Updated last year
- UCAN Invocation & Pipelining☆13Updated 6 months ago
- Memory validation framework for Rust☆66Updated 3 weeks ago
- ☆18Updated 2 years ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated 11 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 …☆70Updated this week
- Smart Contract with Autonomous AI Execution☆17Updated 2 months ago
- near-memory-tracker☆12Updated 10 months ago
- Ruskel generates skeletonized outlines of Rust crates.☆19Updated last week
- ☆32Updated 6 months ago
- small distributed database protocol☆31Updated 4 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆47Updated 7 months ago
- A collection of tools to make integrating Axum with the browser easier☆13Updated last year
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago