near / finite-wasm
Cheating a little to solve the halting problem at scale
☆28Updated 4 months ago
Alternatives and similar repositories for finite-wasm:
Users that are interested in finite-wasm are comparing it to the libraries listed below
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated 8 months ago
- A partial actor pattern with a global orchestrator.☆28Updated 6 months ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12Updated 11 months ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆79Updated last week
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆24Updated 4 months ago
- small distributed database protocol☆31Updated 4 years ago
- An implementation of the Austral language compiler in Rust☆14Updated 11 months ago
- Smart Contract with Autonomous AI Execution☆17Updated 3 months ago
- A distributed execution framework built upon lunatic.☆16Updated last year
- ☆32Updated this week
- near-memory-tracker☆12Updated 11 months ago
- A collection of tools to make integrating Axum with the browser easier☆13Updated last year
- NEAR Redpacket based on NEAR Linkdrop☆16Updated 11 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆17Updated last year
- ☆19Updated 2 years ago
- Rust WebAssembly smart contract for NEAR with Javascript runtime☆33Updated 2 weeks ago
- This is a project to learn how to implement instruction dispatch in Rust.☆24Updated 9 months ago
- Instrument and transform wasm modules.☆51Updated 8 months ago
- Minimal Prolog implemented in Rust☆43Updated 6 months ago
- Sparse Merkle tree for a key-value map.☆21Updated 2 years ago
- Rust Vector for large amounts of data, that does not copy when growing, by using full `mmap`'d pages.☆22Updated last year
- 🎙 An event based library for architecting user output for multiple output destinations, in Rust☆31Updated 4 months ago
- A poptrie implementation☆18Updated last year
- Rust implementation of the Binary Canonical Serialization (BCS) format☆22Updated last year
- UCAN Invocation & Pipelining☆14Updated 8 months ago
- Memory validation framework for Rust☆67Updated 2 months ago
- ☆37Updated last year
- Antithesis SDK for Rust☆19Updated 2 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated last month
- A content-addressable datastore for WebAssembly modules☆54Updated 6 months ago