hyperware-ai / hyperdrive
A Hyperware runtime
☆35Updated this week
Alternatives and similar repositories for hyperdrive:
Users that are interested in hyperdrive are comparing it to the libraries listed below
- A toolkit for simple functional applications with automatic persistence.☆65Updated 2 weeks ago
- Development toolkit for Hyperware☆13Updated this week
- A modern Nock runtime with automatic persistence.☆96Updated 3 weeks ago
- ☆20Updated 4 months ago
- Informal prompt to encourage GPT to understand a few Nock instructions☆12Updated last year
- A simple scripting language that compiles to Nock.☆34Updated this week
- Sovereign social media on Urbit☆14Updated last year
- Urbit Improvement Proposals☆28Updated this week
- ☆40Updated last year
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆16Updated 5 months ago
- ☆21Updated 7 months ago
- A file storage and discovery app for Urbit☆12Updated 2 years ago
- Urbit stardust project☆34Updated 3 years ago
- ☆16Updated 9 months ago
- distributed p2p database for Urbit☆27Updated last year
- Mythic☆22Updated 4 months ago
- CosmWasm + zkVM RISC-V EFI template☆22Updated 2 years ago
- A Proof of Attendance Token for Urbit☆23Updated 10 months ago
- Pint, the constraint-based programming language for declarative blockchains☆18Updated this week
- The best way to run an Urbit ship☆51Updated 2 weeks ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆47Updated 2 months ago
- We're living in Obfustopia☆21Updated last month
- An operating function (Prototype)☆28Updated 3 months ago
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆29Updated last month
- ZK proofs for Brainfuck execution using powdr☆15Updated 5 months ago
- ☆40Updated 3 years ago
- A battleship game using ZKPs☆43Updated 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 …☆67Updated this week
- A Sail framework for building reactive Web front-ends☆31Updated 3 months ago
- A port of TinySMPC into Rust.☆22Updated last year