Graphify-Labs / graphify
Builds a queryable knowledge graph from a codebase and its docs, PDFs, and configs, driven by a /graphify skill for AI coding assistants.
Graphify-Labs / graphify
ifixai-ai / iFixAi
Python CLI and agent plugin that audits whether an AI agent does the job it is supposed to do, using adversarial and operational tests.
supabase / supabase
Open source Postgres development platform bundling a database with auth, auto-generated APIs, realtime, storage, and edge functions.
superdesigndev / treg
A registry and proxy that gives agents one base URL and token to call a catalog of third-party tool endpoints, billed per call.
astral-sh / uv
A Rust-based Python package and project manager that handles dependencies, virtualenvs, scripts, tools, and Python versions.
bitwarden / server
Backend APIs, SQL Server database, and Docker deployment tooling for the Bitwarden password manager clients.
PaperMC / Folia
Fork of Paper, the Minecraft server, that ticks independent chunk regions in parallel on a thread pool.
trufflesecurity / trufflehog
Scans repositories, filesystems, and chats for leaked credentials, then verifies whether each one is still live.
zitadel / zitadel
Open-source identity and access management platform providing SSO, MFA, passkeys, OIDC, SAML, and SCIM with multi-tenancy.
deniscerri / ytdlnis
Android app that downloads audio and video from over 1000 websites using yt-dlp, with playlist, queue, and scheduling support.
ShuhongLL / SGS-SLAM
Semantic Gaussian Splatting SLAM system that jointly optimizes appearance, geometry, and semantic features for dense neural mapping.
confeden / Antigravity
Windows/Linux unlocker that lets Google accounts from any country, including Russia, use Antigravity 2.0, IDE and CLI without a VPN.
pnpm / pnpm
Fast Node.js package manager that stores packages once in a content-addressable store and links them into projects.
simplex-chat / simplex-chat
End-to-end encrypted messaging app and network that uses no user identifiers, with mobile, desktop and CLI clients.
Orbmu2k / nvidiaProfileInspector
Windows tool for viewing and editing NVIDIA driver profiles and hidden driver settings via the NVIDIA Driver Settings API.
google / agentmesh
Agent Mesh is a private network that lets AI agents publish and discover tools and models, with verifiable node identities.
vlang / v
A simple, compiled, statically typed programming language that transpiles to C and compiles itself in under a second.
oauth2-proxy / oauth2-proxy
Reverse proxy that adds OAuth2 and OIDC authentication in front of web applications, supporting many identity providers.
Gzh0821 / pvzg_site
Official website source for PvZ2 Gardendless, a fan rewrite of Plants vs Zombies 2 built with Web technologies.
urbanadventurer / WhatWeb
Command-line web scanner that fingerprints websites to identify their CMS, servers, JavaScript libraries, and other technologies.
rocq-prover / rocq
Interactive theorem prover (proof assistant) for writing formal definitions, executable algorithms, and machine-checked proofs.
dartraiden / NVIDIA-patcher
Patches NVIDIA Windows drivers to enable 3D acceleration on mining cards and select engineering-sample GPUs that are normally restricted.
zs1083339604 / FaceWinUnlock-Tauri
Windows 面容识别解锁增强软件，通过自定义 Credential Provider DLL 注入登录界面，提供类似 Windows Hello 的解锁体验。
agda / agda
Agda is a dependently typed functional programming language and interactive proof assistant.
unisonweb / unison
Unison is a statically-typed functional programming language that identifies functions by content hash and stores code as ASTs in a database.
satisfactorymodding / SatisfactoryModManager
Desktop app that installs Satisfactory mods, resolves their dependencies, and provides the modloader, built with Wails and Svelte.
4jean / lav_sms
Laravel 8 web application for managing schools and colleges, covering students, teachers, exams, marksheets, fees, and notices.