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
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure corr
6,2/gün ort. +14 son gün 418 commit 4 yazar TypeScript 22 Ağu 2026 güncellendi bugün - 2
Composable mathematics tools for agents
3,4/gün ort. +2 son gün 62 commit 3 yazar Python 23 Tem 2026 güncellendi dün - 3
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +0 son gün — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 4
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 - 5
AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.
0,3/gün ort. +1 son gün — commit Rust 15 Haz 2026 güncellendi bugün - 6
Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, ty
0,1/gün ort. +0 son gün — commit Python 21 Nis 2026 güncellendi 4 gün önce - 7
A polygraph for your state machine: an LLM derives a formal model from your code, then Polygraph replays real traces against it and exhausti
0,1/gün ort. +0 son gün — commit JavaScript 07 Tem 2026 güncellendi 13 Eyl 2026 - 8
Gradual effect, contract, async-safety, and temporal checking for existing TypeScript.
0,2/gün ort. +0 son gün — commit TypeScript 21 Ağu 2026 güncellendi 03 Eki 2026