near / finite-wasm
Cheating a little to solve the halting problem at scale
☆23Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for finite-wasm
- An implementation of the Austral language compiler in Rust☆14Updated 6 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated 9 months ago
- A distributed execution framework built upon lunatic.☆16Updated 9 months ago
- A partial actor pattern with a global orchestrator.☆27Updated last month
- Collection of examples for showcasing various Rust graph data structure libraries.☆18Updated 3 months ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆29Updated 7 months ago
- Interface Driven Distributed Data Service☆16Updated this week
- A CLI to document Rust code☆12Updated last year
- Ed25519 suitable for use in consensus-critical contexts.☆45Updated 3 months ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated 6 months ago
- ☆17Updated last year
- A simple tool to convert a WebAssembly module to a WASI component (component model, WASI-preview2).☆11Updated last week
- An example demonstrating how Rust and cargo support incompatible transitive dependencies (like Node.js + npm not Python + pip)☆29Updated 2 months ago
- Somewhat hacky workaround for the lack of stream generators☆14Updated last month
- Experimenting with Rust's fundamental data model☆47Updated last month
- Human-friendly indexed collections☆51Updated 10 months ago
- Check that a crate builds without libstd☆24Updated 3 years ago
- Instrument and transform wasm modules.☆47Updated 3 months ago
- memchr vs stringzilla - up to 7x throughput difference between two SIMD-accelerated substring search libraries in Rust☆45Updated 6 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆29Updated 2 months ago
- MnemOS Global Networking Protocol☆16Updated 9 months ago
- Lightweight, higher-order parser in Rust.☆11Updated last year
- Memory validation framework for Rust☆65Updated last month
- Lisp implementation of Lurk.☆67Updated 2 months ago
- A hash table with strong order and fast iteration; access items by key or sequence index☆28Updated last month
- ☆11Updated last year
- ☆15Updated 2 months ago
- The Local-First SDK☆64Updated 2 years ago
- Statically-checked Rust template engine☆64Updated 2 months ago