☆16Nov 16, 2025Updated 4 months ago
Alternatives and similar repositories for zero-knowledge-proofs
Users that are interested in zero-knowledge-proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- arxiv daily for speech translation, legal. Ref: Vincentqyw/cv-arxiv-daily☆15Jan 6, 2025Updated last year
- A private tracker middleware for the chihaya BitTorrent tracker☆10Aug 17, 2019Updated 6 years ago
- remark plugin to replace @ mentions with links☆14Mar 29, 2026Updated last week
- Management of Benchmark Instances and Instance Attributes☆21Mar 13, 2026Updated 3 weeks ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Ansi escape codes for Rust☆13Jun 23, 2024Updated last year
- Demo of server-sent events with Netlify Edge Functions☆15May 9, 2022Updated 3 years ago
- A JetBrains plugin to display an alternative SvelteKit file tree for easier navigation☆13Sep 12, 2025Updated 6 months ago
- Repository for the current status of the LESS submission☆13Mar 16, 2026Updated 3 weeks ago
- Web server to receive uploaded LaTeX and execute it in a docker container.☆16Apr 1, 2026Updated last week
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- How to use ZigBee sensors through Kubernetes☆11Jan 26, 2022Updated 4 years ago
- Lightweight Google Cloud Storage sync Rust Client with better performance than gsutil rsync☆20Jun 20, 2025Updated 9 months ago
- ☆13Apr 5, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Chroma's fork of hnswlib - a header-only C++/python library for fast approximate nearest neighbors☆21Mar 27, 2026Updated 2 weeks ago
- fast and featureful QQL renderer in Rust☆18Jul 3, 2024Updated last year
- A Hierarchical Softmax Framework for PyTorch☆22Jul 10, 2025Updated 9 months ago
- A Simple CDCL Solver☆35Mar 8, 2023Updated 3 years ago
- Schnorr Signature algorithm usiing BLS12-381 Curve☆13Jan 10, 2024Updated 2 years ago
- ZigBee Client Driver☆27Jun 3, 2014Updated 11 years ago
- Analysing chess.com games at lichess.org for free.☆22Jan 2, 2026Updated 3 months ago
- Parrot is a C++ library for fused array operations using CUDA/Thrust. It provides efficient GPU-accelerated operations with lazy evaluati…☆260Mar 11, 2026Updated 3 weeks ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆17Oct 12, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Machine Learning Mischief: Examples from the dark side of data science☆59Oct 24, 2025Updated 5 months ago
- An HttpClient based Json RPC 2.0/XML-RPC client for .Net.☆19Jan 21, 2018Updated 8 years ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated 7 months ago
- A colourful boxed theorem environment☆18May 25, 2025Updated 10 months ago
- 🚀 The i18n-openai NPM package simplifies and accelerates the translation of i18n JSON files using the power of OpenAI's language capabi…☆11Mar 9, 2026Updated last month
- This extension bundles Hygen into VSCode and offers seamless code generator functionality right into your editor.☆20Sep 14, 2018Updated 7 years ago
- Generate zero-knowledge proofs of valid RSA signatures from your browser.☆15Feb 23, 2023Updated 3 years ago
- Fork of Fleck optimized for Unity (or anything else really)☆20Apr 1, 2026Updated last week
- A simple proxy for Nuget that only forwards requests to an upstream Nuget server☆19Dec 8, 2022Updated 3 years ago
- 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.
- ☆14Sep 19, 2024Updated last year
- A-Frame component using 3D-Tiles☆16Oct 2, 2024Updated last year
- Use claude code with openrouter or any other openai compatible endpoint☆23Jul 23, 2025Updated 8 months ago
- ☆21Feb 24, 2025Updated last year
- Filen Go SDK☆12Apr 2, 2026Updated last week
- A Swift package for seamless integration with OpenAI's API, enabling advanced chat capabilities and token management in your applications☆34Jul 25, 2024Updated last year
- ZigBee Network Processor (ZNP) Interface☆16Feb 25, 2023Updated 3 years ago