» Etiket
rust
15 yayınKani: Rust için model checker doğrulama aracı
Kani, Rust'ın MIR temsilini CBMC doğrulama motoruna aktararak unsafe kod, fonksiyonel doğruluk ve panic içermemeyi kanıtlıyor; Rust standart kütüphanesinde binlerce harness ile üretimde çalışıyor.
rustformal-verificationmodel-checkingsoftware-engineeringPon: Yorumlayıcısız Python 3.14 Derleyicisi Rust'ta
Pon, CPython yorumlayıcısı ve bytecode olmadan Python 3.14 kodunu Cranelift ile makine koduna derleyen Rust tabanlı JIT/AoT derleyicisidir.
pythonrustcompilersjitCargo'da Symlink Açığı: CVE-2026-5223 Duyuruldu
Cargo, üçüncü taraf registry'lerden gelen tarball'lardaki symlink'leri hatalı işliyordu. Rust 1.96.0 ile düzeltilen orta seviye açığın detayları.
rustcargosecuritycveRings, dağıtık sistem doğruluğunu cebirsel yapılarla yeniden kuruyor
Rings projesi, kriptografi, CRDT tabanlı depolama ve Chord topolojisini grup, halka ve modül gibi cebirsel yapılarla birleştirerek doğrulanabilir bir mimari sunuyor.
distributed-systemscryptographycrdtrustChorus: Google Cloud Storage Üzerinde Tek Yazarlı Hızlı WAL
Chorus, Kafka veya etcd kullanmadan Google Cloud Storage üzerinde çalışan tek yazarlı bir write-ahead log; bölgesel dayanıklılığı tek bölge gecikmesiyle sağlıyor.
distributed-systemsgoogle-cloudwrite-ahead-logrustKars: AI Ajanları için Kubernetes Tabanlı Sıfır Güven Runtime
Kars, her AI ajanını izole Kubernetes sandbox'ında çalıştırır; tüm dış çağrılar Rust tabanlı router üzerinden denetlenir, kimlik bilgisi ajanda tutulmaz.
kubernetesai-agentssecurityrustProtobuf-py: Python için tavizsiz Protocol Buffers
Sıfırdan yazılan protobuf-py, tüm Protobuf spesifikasyonunu destekleyip Rust hızlandırıcısıyla Google'ın C tabanlı upb motoruna denk performans sunuyor.
protobufpythonrustgrpcPi Agent Rust: Rust ile yazılmış yüksek performanslı AI kodlama ajanı
pi_agent_rust, Mario Zechner'ın Pi Agent projesinin Rust'a taşınmış hali. Tek binary, hızlı açılış ve güçlü uzantı güvenliğiyle geliştiricilere ne sunuyor?
rustai-agentscli-toolsdeveloper-toolsFrankenMarkdown: Sıfır Bağımlılıklı Rust Markdown Motoru
FrankenMarkdown v0.3.0, sıfır bağımlılıklı Rust çekirdeğiyle Markdown'ı byte-eşdeğer HTML ve PDF'e dönüştürüyor; aynı motor WASM üzerinde tarayıcıda da çalışıyor.
rustmarkdownwasmpdfRTS: Rust ile Yazılmış TypeScript'ten Native Koda Derleyici
RTS, TypeScript'i Cranelift ile doğrudan makine koduna derleyen Rust tabanlı bir motor. JIT/AOT modları, kendi std kütüphanesi ve HTML/CSS render motoruyla V8'siz bir yaklaşım sunuyor.
typescriptrustcompilerscranelift