Havuz
Takip ettiğimiz konularda yükselen açık kaynak projeler — yıldız ivmesi, gerçek geliştirme aktivitesi ve AI değerlendirmesiyle.
Yalnız hareketli, son 28 günde commit almamış repoları gizler (yıldızı olan ama bırakılmış projeler). Commit sayısı henüz ölçülmemiş repolar da gizlenir.
EtiketTüm GitHub etiketleri — repo sahiplerinin koyduğu topic'lergöster
Etiketler yükleniyor…
- 1
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they
0,4/gün ort. +0 son gün — commit Rust 15 May 2026 güncellendi 4 gün önce - 2
Checks coding agents' edits as they work by enforcing mechanical guardrails for clean code.
0,3/gün ort. +0 son gün — commit Rust 26 Haz 2026 güncellendi 15 gün önce - 3
Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attacks the patch with gen
0,2/gün ort. +0 son gün — commit Python 01 Haz 2026 güncellendi dün - 4
AI readiness & verification toolkit — measure how ready your codebase is for autonomous AI coding agents, and get a roadmap to autonomy. P
0,1/gün ort. +0 son gün — commit Shell 12 May 2026 güncellendi 22 gün önce - 5
CodeScope does not understand code. It verifies it. A high-performance code graph engine with MCP protocol for AI agents (Claude/Cursor) to
0,1/gün ort. +0 son gün — commit C++ 03 Tem 2026 güncellendi 4 gün önce