hyperware-ai / hyperdriveLinks
The reference Hyperware runtime
☆48Updated this week
Alternatives and similar repositories for hyperdrive
Users that are interested in hyperdrive are comparing it to the libraries listed below
Sorting:
- Development toolkit for Hyperware☆18Updated this week
- A toolkit for simple functional applications with automatic persistence.☆69Updated 4 months ago
- A modern Nock runtime with automatic persistence.☆97Updated 7 months ago
- A simple scripting language that compiles to Nock.☆47Updated last month
- Urbit Improvement Proposals☆30Updated last month
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- ☆21Updated 10 months ago
- Sovereign social media on Urbit☆12Updated last year
- A Proof of Attendance Token for Urbit☆23Updated last year
- Utilities for Hoon-style atom printing and conversion☆38Updated 2 years ago
- Informal prompt to encourage GPT to understand a few Nock instructions☆12Updated 2 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- ☆35Updated 3 months ago
- A battleship game using ZKPs☆43Updated last year
- ☆40Updated 2 years ago
- WebAssembly interpreter suite for Urbit☆35Updated 4 months ago
- A file storage and discovery app for Urbit☆12Updated 2 years ago
- ☆22Updated last year
- distributed p2p database for Urbit☆27Updated 2 years ago
- The best way to run an Urbit ship☆52Updated last month
- Implementation of Nock specification in hardware☆37Updated 10 months ago
- ☆16Updated last year
- Hoon Git implementation☆11Updated last year
- Golang interface for Urbit. Connect natively with urbit's ames wire protocol☆39Updated 6 months ago
- One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies☆116Updated 8 months ago
- EigenTrust - A distributed reputation system☆113Updated last year
- This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Ze…☆85Updated 2 years ago
- ☆16Updated last year
- Self-hosted StarTram service -- access GroundSeg-hosted ships from anywhere☆56Updated 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 …☆112Updated 4 months ago