Açık kaynak radarı
Havuz
Takip ettiğimiz konularda yükselen açık kaynak projeler — yıldız ivmesi, gerçek geliştirme aktivitesi ve AI değerlendirmesiyle.
4
repo · sayfa 1 / 1
Sırala
AI / LLM
Süz
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
Sırala:
Etiketler yükleniyor…
- 1
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +1 son gün — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 2
Distributed, objective-led control plane for Lean 4 formalization projects.
0,3/gün ort. +0 son gün — commit Python 01 Tem 2026 güncellendi 09 Eki 2026 - 3
A Lean 4 + Mathlib proof service for the agent working on your code
0,1/gün ort. +0 son gün — commit Rust 10 Nis 2026 güncellendi 30 Eyl 2026 - 4
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No
0,1/gün ort. +0 son gün — commit Python 05 Haz 2026 güncellendi 4 gün önce