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 +1,5 son 2g 11 commit 1 yazar Lean 26 Eki 2026 güncellendi bugün - 2
Runtime enforcement boundary for AI agents: a local sidecar that gates every outbound call against Cedar policies you own. Deterministic, ca
0,6/gün ort. +2 son gün +0,1 son 30g — commit Rust 22 Mar 2026 güncellendi 4 gün önce - 3
Open source control-plane proxy for AI agents: identity, policy, budget, audit for MCP and beyond
0,2/gün ort. +0 son gün +0,1 son 30g — commit Go 26 Tem 2026 güncellendi 16 Eyl 2026 - 4
Deterministic governance for AI coding agents. Cedar-based policy engine that intercepts every agent action and evaluates it against determi
0,2/gün ort. +0 son gün +0 son 30g — commit Python 10 Mar 2026 güncellendi 01 Eki 2026 - 5
Self-hosted database access-control proxy for MySQL and PostgreSQL: lineage-aware column masking, Cedar policy, fail-closed deny, tamper-evi
0,1/gün ort. +0 son gün +0 son 30g — commit Go 29 Tem 2026 güncellendi bugün - 6
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 +0 son 24g — commit Rust 02 Ağu 2026 güncellendi bugün