polylog-cs / zero-knowledge-proofs
☆10Updated last week
Alternatives and similar repositories for zero-knowledge-proofs:
Users that are interested in zero-knowledge-proofs are comparing it to the libraries listed below
- A simple interface into controlling the mac trackpad haptic feedback from rust.☆23Updated 10 months ago
- Terminal based intercepting proxy written in rust with tmux and vim as user interface.☆29Updated this week
- Create embeddings for LLM using the Nomic API☆23Updated 4 months ago
- Concatenated documentation for use with LLMs☆17Updated last month
- Fragmented Classless Inter-Domain Routing (FCIDR)☆16Updated last year
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆30Updated 3 weeks ago
- scripts for handling screenshots and analyzing them☆13Updated 13 years ago
- Basic Denoising Diffusion Probabilistic Model image generator implemented in PyTorch☆10Updated 3 months ago
- A star for organising blocks and playing with transformers.☆23Updated 11 months ago
- A quick starter kit to easily write and share your self-rendering mathematical notes and snippets☆11Updated last week
- A framework for collecting a large human-sourced chain-of-thoughts dataset☆19Updated 8 months ago
- 🛠 Self-hosted, fast, and consistent remote configuration for apps.☆14Updated 2 years ago
- Social timeboxing for IRC channels☆17Updated 6 months ago
- Unofficial No Such Thing As A Fish episode transcripts.☆19Updated this week
- Access Reka models via the Reka API☆12Updated 11 months ago
- 😎 Awesome list of Infrastructure-from-Code☆25Updated 10 months ago
- A Python library for real-time PostgreSQL event-driven cache invalidation.☆21Updated 2 months ago
- Example bare-bones gazette consumer application that plays ping pong. _At Scale_!☆16Updated 4 years ago
- A fast TUI application (with optional webui) to visually navigate and inspect JSON and JSONL data. Easily localize parse errors in large …☆13Updated 6 months ago
- What did I do all day?☆11Updated 10 months ago
- A powerful tool that converts voice recordings into high-quality Anki flashcards using AI-powered transcription and LLM processing, featu…☆18Updated 2 months ago
- A more advanced utility to generate a large collection of unique images along with metadata.☆5Updated 2 years ago
- This is a simple DIY tool that uses the Windows desktop API to capture display output, once every second or every few second, as a Direct…☆35Updated 2 months ago
- Hacker News Search and RAG built using Rust actix-web, minijinja, SolidJS, Vite, and Redis queue's☆26Updated 3 months ago
- Experiments with Observable Framework☆12Updated last year
- Video about NP-completeness, circuit SAT and "reversing time"☆12Updated 7 months ago
- ☆16Updated 4 months ago
- ☆27Updated 6 months ago
- A CLI for calling, scripting, and testing web APIs, built on an experimental data-transfer language.☆17Updated this week
- The source code for CodeVideo Studio at studio.codevideo.io☆12Updated 2 weeks ago