near / finite-wasmLinks
Cheating a little to solve the halting problem at scale
☆32Updated 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 distributed execution framework built upon lunatic.☆16Updated last year
- A collection of tools to make integrating Axum with the browser easier☆13Updated 2 years ago
- Memory validation framework for Rust☆72Updated 3 months ago
- Prototyping the performance of various components of a theoretical faster Twitter☆67Updated 2 years ago
- Rust implementation of the WebNative FileSystem (WNFS) specification☆164Updated 2 months ago
- small distributed database protocol☆31Updated 4 years ago
- Human-friendly indexed collections☆56Updated 2 months ago
- Efficient state-based CRDT replication and anti-entropy☆70Updated 3 weeks ago
- https://arxiv.org/html/2402.02668v2☆20Updated 8 months ago
- Instrument and transform wasm modules.☆51Updated last year
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated 2 years ago
- c'est le marché☆40Updated 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 …☆153Updated 8 months ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- ⛪ Sacred Compute - decentralized compute network☆33Updated this week
- LLaMA from First Principles☆51Updated 2 years ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- Graph library for Rust☆27Updated 4 months ago
- Web Assembly Value Encoding☆40Updated last year
- A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.☆47Updated last week
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆129Updated last month
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Updated last year
- Privacy Pass implementation in Rust☆54Updated 3 weeks ago
- What do you call a pointer we stole the high bits off? An ointer.☆89Updated 2 weeks ago
- Rust Vector for large amounts of data, that does not copy when growing, by using full `mmap`'d pages.☆22Updated last year
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated last year
- Reading DWARF information from wasm files.☆19Updated 7 years ago
- Build tools for LLMs in Rust using Model Context Protocol☆38Updated 10 months ago
- This is a project to learn how to implement instruction dispatch in Rust.☆25Updated last year
- Ed25519 suitable for use in consensus-critical contexts.☆53Updated last year