near / finite-wasmLinks
Cheating a little to solve the halting problem at scale
☆30Updated 5 months ago
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 2 years ago
- Memory validation framework for Rust☆70Updated 3 weeks ago
- Human-friendly indexed collections☆56Updated this week
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated 11 months ago
- Asynchronous Software Transactional Memory library for Rust☆27Updated 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 …☆145Updated 6 months ago
- small distributed database protocol☆31Updated 4 years ago
- Easy access to individual bits of integers.☆51Updated 2 years ago
- A minimalist property-based testing library☆117Updated 5 months ago
- Instrument and transform wasm modules.☆52Updated last year
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- ⛪ Sacred Compute - decentralized compute network☆31Updated this week
- An object system for Rust based on relative pointers☆38Updated 2 years ago
- Efficient state-based CRDT replication and anti-entropy☆69Updated last month
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆50Updated last year
- A tar archive reading/writing library for async Rust.☆34Updated 3 weeks ago
- Graph library for Rust☆27Updated last month
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago
- MnemOS Global Networking Protocol☆15Updated last year
- A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.☆45Updated last week
- Benchmark of Finite State Machine approaches☆28Updated 5 years ago
- ☆15Updated 2 years ago
- A C compiler, written in Rust.☆10Updated 3 years ago
- Deploy dioxus-web to Vercel.☆28Updated last year
- trigger io::Error's in test, and annotate their source☆31Updated 2 years ago
- Mitochondria is the powerhouse of the `Cell`☆30Updated 8 years ago
- Rust wrapper over nwaku ffi☆18Updated last week
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Updated last year
- Ambient Authority☆21Updated 2 years ago