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
45,4/gün ort. +3 son gün 10 commit 1 yazar Lean 26 Eki 2026 güncellendi 3 gün önce - 2
A TLA+ interpreter and model checker in TypeScript
18,3/gün ort. +10 son gün 576 commit 1 yazar TypeScript 26 Eki 2026 güncellendi bugün - 3
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 180 commit 6 yazar Rust 09 Mar 2026 güncellendi dün - 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 dün - 5
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open
2,6/gün ort. +0 son gün 159 commit 4 yazar TypeScript 13 Mar 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
Benchmarking coding agents on formalized undergraduate research problems
1,7/gün ort. +0 son gün — commit Lean 18 Eki 2026 güncellendi 9 gün önce - 8
TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.
1,1/gün ort. +0 son gün — commit JavaScript 01 Eki 2026 güncellendi 3 gün önce - 9
Codex-first, vendor-neutral RTL coding and verification skill using open-source tools
0,9/gün ort. +0 son gün — commit Python 31 Ağu 2026 güncellendi 07 Eyl 2026 - 10
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
0,8/gün ort. +0 son gün — commit Go 27 Mar 2026 güncellendi 6 gün önce - 11
A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation,
0,3/gün ort. +0 son gün — commit Rust 22 Ağu 2026 güncellendi 01 Eki 2026 - 12
Specs your AI agent can't ignore. A deterministic compiler that turns your rules into checks: no AI inside, same input, same verdict. Rust ·
0,3/gün ort. +0 son gün — commit Rust 24 Haz 2026 güncellendi dün - 13
KVerus: Scalable and Resilient Formal Verification for Rust Code
0,3/gün ort. +0 son gün — commit Python 30 Tem 2026 güncellendi 7 gün önce - 14
AI agents should not make irreversible changes. TraceFold escrows the inverse before an effect lands, or refuses it, and issues receipts any
0,2/gün ort. +0 son gün — commit Rust 13 Ağu 2026 güncellendi 04 Eyl 2026 - 15
The Hale programming language: general-purpose, native and memory-safe, from a five-line script to a dynamic distributed system. Less langua
0,2/gün ort. +0 son gün — commit Rust 15 May 2026 güncellendi dün - 16
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 dün - 17
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
0,2/gün ort. +0 son gün — commit Python 09 Tem 2026 güncellendi 5 gün önce - 18
Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target cod
0,2/gün ort. +0 son gün — commit Rust 04 Nis 2026 güncellendi dün - 19
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 15 gün önce - 20
Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-chec
0,1/gün ort. +0 son gün — commit Rust 02 Ağu 2026 güncellendi 2 gün önce - 21
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 - 22
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 21 gün önce