moritzkremb / claude-eyes
Let coding agents watch videos: index once, then skim, search, zoom, and measure editing style. Runs locally.
moritzkremb / claude-eyes
janeczku / calibre-web
:books: Web app for browsing, reading and downloading eBooks stored in a Calibre database
apache / dolphinscheduler
Apache DolphinScheduler is the modern data orchestration platform. Agile to create high performance workflow with low-code
turanszkij / WickedEngine
3D engine with modern graphics
google / syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
lemonade-sdk / lemonade
Lemonade helps users discover and run local AI apps by serving optimized LLMs right from their own GPUs and NPUs. Join our discord: https://discord.gg/5xXzkMu8Zk
aleo-labs-protocol / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
gh0stzk / dotfiles
BSPWM environment with 18 themes. With a theme selector to change on the fly.
taikoxyz / taiko-mono
A based rollup protocol for Ethereum🥁
aleo-labs-protocol / snarkOS
A Decentralized Operating System for ZK Applications
Jsnzkpg / Jsnzkpg
已持续维护5年多，每天都会检测可用性，全网质量最高的免费节点订阅，魔鬼式筛选出高质量的免费节点，shadowrocket丨stash丨singbox丨clash丨karing丨hiddify丨mihomo丨clashmi丨ClashMeta丨FIClash丨Surfboard
vn7n24fzkq / github-profile-summary-cards
A tool to generate your GitHub summary card for profile README
matter-labs / zksync-era
zkSync era
zk-org / zk
A plain text note-taking assistant
namada-net / namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
zkteco-home / redis-windows
Native port of Redis for Windows,it can be installed as service,It is by far the fastest and most stable Windows version.
yuezk / GlobalProtect-openconnect
A GlobalProtect VPN client for Linux and macOS, written in Rust, based on OpenConnect and Tauri, supports SSO with MFA, YubiKey, and client certificate authentication, etc.
MinaProtocol / mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
iden3 / snarkjs
zkSNARK implementation in JavaScript & WASM
starkware-libs / cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Consensys-Incorporated / gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
Klotzkette / claude-fuer-deutsches-recht
⚠️ Experimentelle Skill-Sammlung für deutsches Recht (Arbeits-, Gesellschafts-, Insolvenz-, Datenschutz-, Prozessrecht u.a.) – inzwischen verbessert und im Alltag getestet, aber weiterhin Experiment. Bitte selber ausprobieren, Issues/PRs willkommen! Keine Rechtsberatung. Mandatsgeheimnis (§§ 203/204 StGB, § 43e BRAO), DSGVO, US-Transfer, KI-VO & Co
iden3 / circom
zkSnark circuit compiler
winitzki / sofp
A free book: "The Science of Functional Programming"
VazkiiMods / Botania
A tech mod for Minecraft themed around the magic of nature and plant life.
darkrenaissance / darkfi
Anonymous. Uncensored. Sovereign.
python-zk / kazoo
Kazoo is a high-level Python library that makes it easier to use Apache Zookeeper.
longfellow-zk / longfellow-zk
Implementation of the Google Zero-Knowledge library for Identity Protocols.
BlitzKraft / saythanks.io
Spreading Thankfulness in Open Source.
starknet-io / starknet.js
JavaScript library for Starknet
aleo-labs-protocol / snarkVM
A zkVM for Decentralized Private Computations (DPC)
zkcrypto / bellman
zk-SNARK library.
semaphore-protocol / semaphore
A zero-knowledge protocol for anonymous interactions.
a16z / jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Skolaczk / next-starter
A Next.js starter template, packed with features like TypeScript, Tailwind CSS, Next-auth, Biome, Stripe, testing tools and more. Jumpstart your project with efficiency and style.
OpenZeppelin / cairo-contracts
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
lambdaclass / ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup
zk-org / zk-nvim
Neovim plugin for zk
zkywsg / Daily-LLM
🔥机器学习/深度学习/Python/大模型/多模态/LLM/deeplearning/Python/Algorithm interview/NLP Tutorial
danilo-znamerovszkij / draw-your-font
Turn a photo of your handwriting into a real font (TTF/WOFF/WOFF2) - free, open source, no uploads. Node CLI + Claude Code skill.
zkep / my-geektime
👏 Make learning a lifelong habit. 学无止境
firoorg / firo
The privacy-focused cryptocurrency
armel / uv-k1-k5v3-firmware-custom
This is a fork of F4HWN firmware https://github.com/armel/uv-k5-firmware-custom by @muzkr and @armel
MajkiIT / polish-ads-filter
CertyficateIT - Oficjalne polskie filtry do Adblock, uBlock Origin, Adguard
halilkirazkaya / arsenal-ng
The classic launcher, evolved. Fast, Go-based command library equipped with 200+ cybersecurity cheat-sheets. Just install and start hacking.
wkqdzkd / Awesome-Reliable-Self-Evolving-Agents
Diving into Reliable Self-Evolving Agents: A Survey
fananimi / pyzk
Unofficial library of zkteco fingerprint attendance machine
idempiere / idempiere
iDempiere. Community Powered Enterprise. Full Open Source Business Suite ERP/CRM/MFG/SCM/POS
VazkiiMods / Quark
Small things, improving Minecraft without changing the core gameplay.
alexmyczko / fnt
apt for fonts, the missing font manager for macOS/linux
dusk-network / plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
ProvableHQ / sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
lfzk550 / fanzha-ai-proxy
国家反诈AI API 转 OpenAI 兼容格式反向代理服务 || 仅学习用途
o1-labs / o1js
TypeScript framework for zk-SNARKs and zkApps
Consensys-Incorporated / gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems
starkware-libs / cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
qntx / ovo
Agent behavior that compiles
matter-labs / era-contracts
Smart Contract Submodule For zkSync Era
adshao / flounder
Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.