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
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
11,5/gün ort. +94 son gün +191,9 son 7g 180 commit 6 yazar Rust 09 Mar 2026 güncellendi dün - 2
Lean for JavaScript and WebAssembly runtimes
2,2/gün ort. +1 son gün +10,3 son 3g — commit C 23 Eyl 2026 güncellendi dün - 3
TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.
1,1/gün ort. +0 son gün +2 son 7g — commit JavaScript 01 Eki 2026 güncellendi 3 gün önce - 4
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +2 son gün +1 son 7g — commit TypeScript 30 Mar 2026 güncellendi 4 gün önce - 5
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +0 son gün +0,3 son 7g 0 commit 0 yazar Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 6
A Lean quality system for AI-assisted work — every defect becomes a permanent countermeasure. Built by a manufacturing operator.
1,3/gün ort. +0 son gün +0,1 son 7g — commit Python 24 Haz 2026 güncellendi 3 gün önce - 7
Distributed, objective-led control plane for Lean 4 formalization projects.
0,3/gün ort. +0 son gün +0 son 7g — commit Python 01 Tem 2026 güncellendi 25 gün önce - 8
Local memory for Codex. Reuse work across chats without LLM calls to organize it.
0,4/gün ort. +0 son gün +0 son 7g — commit Lean 29 Ağu 2026 güncellendi dün - 9
HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where poss
0,2/gün ort. +0 son gün +0 son 7g — commit Lean 20 Tem 2026 güncellendi 15 gün önce - 10
It is an MCP server that lets AI agents perform step-by-step symbolic derivations: calculate, transform, verify, and store formulas with ful
0,1/gün ort. +0 son gün +0 son 7g — commit Python 08 Tem 2026 güncellendi 18 Eyl 2026