Lists (1)
Stars
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
A curated list of awesome ZK resources, libraries, tools and more.
A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience
Over 450 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTer…
iTerm2 is a terminal emulator for Mac OS X that does amazing things.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Web extension to set a default speed for video and audio
This is the code of video BV1RP4y1G7KF on bilibili. 这是B站 BV1RP4y1G7KF 这个视频的代码
A month-long zkp study group, one topic at a time.
The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia
articles, codes and tools all about zero-knowledge proofs
🦀 Small exercises to get you used to reading and writing Rust code!
A Zotero add-on to retrive CNKI meta data. 一个简单的Zotero 插件，用于识别中文元数据
分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.