☆15Aug 23, 2019Updated 6 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:
- resilient location sharing☆13Sep 23, 2021Updated 4 years ago
- Keep time in browser for audio applications☆13Apr 15, 2015Updated 11 years ago
- Platform for creating audio-first AI assistants that can work offline using a flexible plugin architecture☆13Jun 29, 2025Updated 10 months ago
- experiment☆12Jan 1, 2023Updated 3 years ago
- Push-based streams for Effect-ts☆16Apr 9, 2023Updated 3 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.
- ☆28Jun 3, 2018Updated 7 years ago
- A simple directed multigraph built on Hypertrie.☆14Feb 12, 2022Updated 4 years ago
- An example of how you can use dat in the browser☆13Feb 19, 2019Updated 7 years ago
- A small tool to help check NAT issues☆12Dec 4, 2018Updated 7 years ago
- Simple, Non authoritative Benchmarks for embedded databases running in Github Actions☆10Jul 11, 2024Updated last year
- ☆12Oct 3, 2020Updated 5 years ago
- A JavaScript implementation of the triangle tessellation algorithm from the OpenGL specification for tessellation shaders.☆16Jul 11, 2023Updated 2 years ago
- ☆10Jul 22, 2024Updated last year
- a web component for piano keyboards☆12Dec 18, 2025Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- As defined in Lubotzky, Philips and Sarnak☆10Oct 25, 2022Updated 3 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Public discussions for Hypercore Protocol☆17May 12, 2020Updated 6 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 6 months ago
- Conceal a disk partition from Windows☆13Feb 24, 2016Updated 10 years ago
- Hypercore Proposals. RFCs specifying the Hypercore Protocol behaviors.☆23Dec 14, 2020Updated 5 years ago
- Rust library for local search optimization☆15Feb 19, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆24Mar 16, 2015Updated 11 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- Captures mouse events on an element and translates them to trackball-like motion.☆19Aug 23, 2018Updated 7 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 10 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Dual Number library for Rust☆17Apr 29, 2021Updated 5 years ago
- ☆11Mar 18, 2025Updated last year
- ☆10Jun 14, 2020Updated 5 years ago
- Plugin for drawing 3D mesh outlines in Bevy.☆27Feb 6, 2026Updated 3 months 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.
- ☆13Aug 15, 2023Updated 2 years ago
- A general purpose MIDI over WebSocket approach.☆13Aug 21, 2016Updated 9 years ago
- node's fs module with leveldb as backend☆60Nov 7, 2016Updated 9 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- RSS Box Viewer puts little or long customizable RSS boxes anywhere you put HTML; build your own slashbox hell or heaven, it’s feedarific!☆17Updated this week
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- Rigorous computation of the endomorphism ring of a Jacobian☆11May 14, 2026Updated last week