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
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are
39,8/gün ort. +0 son gün 11 commit 1 yazar Lean 26 Eki 2026 güncellendi dün - 2
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
11,6/gün ort. +55 son gün 193 commit 5 yazar Rust 09 Mar 2026 güncellendi 2 gün önce - 3
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked
11,3/gün ort. +0 son gün 56 commit 3 yazar Python 08 Eki 2026 güncellendi 20 gün önce - 4
Composable mathematics tools for agents
3,4/gün ort. +2 son gün 62 commit 3 yazar Python 23 Tem 2026 güncellendi 2 gün önce - 5
Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, veri
2,3/gün ort. +0 son gün 28 commit 1 yazar Python 27 Nis 2026 güncellendi 2 gün önce - 6
Lean for JavaScript and WebAssembly runtimes
2,2/gün ort. +1 son gün — commit C 23 Eyl 2026 güncellendi dün - 7
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 - 8
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +1 son gün — commit TypeScript 30 Mar 2026 güncellendi 5 gün önce - 9
RealWorld in Lean 4
0,4/gün ort. — commit Lean 05 Eki 2026 güncellendi 21 gün önce - 10
TypeScript compiler and JavaScript engine in Lean
0,3/gün ort. +0 son gün — commit Lean 23 Nis 2026 güncellendi 23 gün önce - 11
Zil lang DSL for Lean 4
0,3/gün ort. +0 son gün — commit Lean 27 Tem 2026 güncellendi 4 gün önce - 12
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 26 gün önce - 13
Relational codebase compiler and spec-driven containment engine for AI coding agents. Compiles polyglot repos (Rust, Python, TS, Go, C/C++,
0,2/gün ort. +0 son gün — commit Rust 24 Haz 2026 güncellendi 2 gün önce - 14
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 — commit Lean 20 Tem 2026 güncellendi 16 gün önce - 15
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 - 16
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 — commit Python 08 Tem 2026 güncellendi 18 Eyl 2026 - 17
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 22 gün önce