near / finite-wasm
Cheating a little to solve the halting problem at scale
☆28Updated last week
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.☆28Updated 7 months ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated last year
- A collection of tools to make integrating Axum with the browser easier☆13Updated last year
- Sparse Merkle tree for a key-value map.☆21Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 9 months ago
- Instrument and transform wasm modules.☆51Updated 9 months ago
- Rust encryption library for practical time-lock encryption.☆29Updated 9 months ago
- Collection of examples for showcasing various Rust graph data structure libraries.☆23Updated 3 months ago
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆24Updated 5 months ago
- A CLI to document Rust code☆12Updated 2 years ago
- Library for building stateful property tests using the proptest crate☆23Updated last month
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆83Updated last month
- Ruskel generates skeletonized outlines of Rust crates.☆18Updated 2 months ago
- Experimental (machine-type-abstracting?) ranged types in Rust☆13Updated 3 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- agora-glass_pumpkin☆21Updated 11 months ago
- Check that a crate builds without libstd☆25Updated 4 years ago
- Graph model execution API for Candle☆14Updated 5 months ago
- A synchronous message passing channel that only retains the most recent value.☆13Updated last year
- ☆35Updated last week
- A Rust implementation of the Strobe protocol framework☆27Updated last month
- Smart Contract with Autonomous AI Execution☆18Updated 4 months ago
- Memory validation framework for Rust☆67Updated 3 months ago
- https://arxiv.org/html/2402.02668v2☆15Updated 2 weeks ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Updated last year
- Source code and logic to build ZeroMQ from source☆11Updated 2 weeks ago
- Somewhat hacky workaround for the lack of stream generators☆13Updated 7 months ago
- ☆15Updated 8 months ago
- Arbitrary width integers☆17Updated last month
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated last year