near / finite-wasm
Cheating a little to solve the halting problem at scale
☆23Updated this week
Related projects ⓘ
Alternatives and complementary repositories for finite-wasm
- Making Hubris available to external applications.☆17Updated this week
- A partial actor pattern with a global orchestrator.☆27Updated last month
- Minimal Prolog implemented in Rust☆42Updated last month
- Collection of examples for showcasing various Rust graph data structure libraries.☆18Updated 3 months ago
- An implementation of the Austral language compiler in Rust☆14Updated 6 months ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆29Updated 8 months ago
- MnemOS Global Networking Protocol☆16Updated 9 months ago
- Lightweight, higher-order parser in Rust.☆11Updated last year
- ☆20Updated last month
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated 9 months ago
- ☆18Updated last year
- A content-addressable datastore for WebAssembly modules☆53Updated last month
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated 6 months ago
- A distributed execution framework built upon lunatic.☆16Updated 10 months ago
- Experimenting with Rust's fundamental data model☆47Updated last month
- Deterministic simulation of concurrency and failure in distributed systems☆29Updated 3 months ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated last year
- A CLI to document Rust code☆12Updated last year
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 3 months ago
- a bot using an OODA loop...☆21Updated last week
- This is a project to learn how to implement instruction dispatch in Rust.☆17Updated 4 months ago
- Instrument and transform wasm modules.☆47Updated 3 months ago
- Human-friendly indexed collections☆51Updated 10 months ago
- A hash table with strong order and fast iteration; access items by key or sequence index☆30Updated last month
- Sparse Merkle tree for a key-value map.☆21Updated 2 years ago
- A synchronous message passing channel that only retains the most recent value.☆13Updated last year
- c'est le marché☆38Updated last year
- An object system for Rust based on relative pointers☆37Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆43Updated this week