Paper and Demo Implementation of Paradoxical Compression with VDF
☆174Apr 22, 2022Updated 4 years ago
Alternatives and similar repositories for paradox-compress
Users that are interested in paradox-compress are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Oct 13, 2026Updated 3 weeks ago
- Quick and dirty syntax coloring for opencl kernels☆12May 17, 2025Updated last year
- ☆12Sep 3, 2020Updated 6 years ago
- ☆14Mar 10, 2021Updated 5 years ago
- A template for structuring your Carp packages☆18Sep 4, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A cli version of the Nomad Sparse Merklee Tree Accumulator☆19May 19, 2022Updated 4 years ago
- The BitC Programming Language (unofficial, unaffiliated mirror)☆26Mar 19, 2012Updated 14 years ago
- A general purpose library to process and predict sequences of elements using echo state networks.☆20Sep 4, 2012Updated 14 years ago
- Synchronize directory hierarchies using Hash-Tree's☆23Dec 13, 2020Updated 5 years ago
- The ISSR backend for The Hunchentoot HTTP server.☆25Sep 12, 2021Updated 5 years ago
- Ada 2012 binding to Vulkan☆19Apr 18, 2016Updated 10 years ago
- ☆22Oct 12, 2026Updated 3 weeks ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Dependently Typed Genetic Programming☆23Jun 24, 2011Updated 15 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.
- Go Bindings for cudnn and other cuda pacakges.☆31May 13, 2020Updated 6 years ago
- Inspired from Bertram Gilfoyle☆24Sep 19, 2021Updated 5 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Oct 16, 2023Updated 3 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- cuda-mode for Emacs.☆27Aug 19, 2024Updated 2 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 8 years ago
- ☆27Sep 25, 2023Updated 3 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- ☆12Sep 23, 2021Updated 5 years 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.
- Web base text editor written in rust☆66Nov 17, 2024Updated last year
- ☆15Jul 8, 2021Updated 5 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Jan 8, 2023Updated 3 years ago
- ☆74Aug 3, 2022Updated 4 years ago
- ☆124Nov 30, 2024Updated last year
- The universal ISSR server compatible with <your-favorite-programming-language>☆46Apr 5, 2022Updated 4 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆41May 23, 2026Updated 5 months ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 3 years ago
- ☆47Oct 20, 2021Updated 5 years 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.
- a web page / paper☆18Sep 2, 2026Updated 2 months ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 3 years ago
- Algebraic Effect Handlers for Clojure☆48Aug 19, 2013Updated 13 years ago
- Library of swarm-intelligence algorithms☆38Sep 29, 2026Updated last month
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Cryptanalysis of the Legendre PRF Challenges☆11Nov 27, 2019Updated 6 years ago
- ☆15May 27, 2021Updated 5 years ago