☆15Aug 23, 2019Updated 7 years ago
Alternatives and similar repositories for proofofspace
Users that are interested in proofofspace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental continuous Behaviors for most.js☆32Dec 30, 2019Updated 6 years ago
- resilient location sharing☆13Sep 23, 2021Updated 5 years ago
- create symbolic link between hyperdrives☆13Feb 19, 2017Updated 9 years ago
- Platform for creating audio-first AI assistants that can work offline using a flexible plugin architecture☆13Jun 29, 2025Updated last year
- Utility methods related to public key cryptography to be used with distributed mutable storage☆15May 13, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- experiment☆12Jan 1, 2023Updated 3 years ago
- An example of how you can use dat in the browser☆13Feb 19, 2019Updated 7 years ago
- rust implementation of the DAT protocol☆19Jun 2, 2018Updated 8 years ago
- The rust implementation of the Defluencer protocol.☆13Sep 3, 2025Updated last year
- A small tool to help check NAT issues☆12Dec 4, 2018Updated 7 years ago
- ☆10Apr 27, 2022Updated 4 years ago
- ☆12Oct 3, 2020Updated 6 years ago
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- a web component for piano keyboards☆12Oct 5, 2026Updated last week
- Coq BPF interpreter☆19Jan 18, 2018Updated 8 years ago
- ☆12Oct 15, 2023Updated 2 years ago
- Hypercore Proposals. RFCs specifying the Hypercore Protocol behaviors.☆24Dec 14, 2020Updated 5 years ago
- Public discussions for Hypercore Protocol☆17May 12, 2020Updated 6 years ago
- A Rust library for validating CBOR or JSON data against a CDDL schema specification☆15Oct 1, 2026Updated last week
- Conceal a disk partition from Windows☆17Feb 24, 2016Updated 10 years ago
- A visualization tool for using persistent homology to interact with undirected graphs.☆10Jul 10, 2019Updated 7 years ago
- Dual Number library for Rust☆17Apr 29, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Rclone running in Deno☆11Feb 9, 2026Updated 8 months ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 7 years ago
- 🚀 A WebGPU polyfill written on top of WebGL 2.☆15Aug 12, 2022Updated 4 years ago
- ☆11Dec 3, 2020Updated 5 years ago
- ShadowDOM v1 shim☆12Jun 29, 2017Updated 9 years ago
- under construction☆14Apr 20, 2017Updated 9 years ago
- ☆10Jun 14, 2020Updated 6 years ago
- Add support for the DatArchive API to the web☆16Jun 10, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Realistic Failure Injection for System Calls☆10Jun 1, 2020Updated 6 years ago
- A compiler plugin to enable tests to be defined upon rust's traits.☆10May 6, 2026Updated 5 months ago
- ☆15Aug 15, 2023Updated 3 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- Migrated to: https://codeberg.org/openculinary/backend☆13Aug 21, 2025Updated last year
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated last year
- A metaheuristic algorithm framework for solving discrete optimization problems☆20Jul 13, 2013Updated 13 years ago