» Etiket
rust
2 yayınCreusot: Rust Programlama Dili için Bir Dedüktif Doğrulayıcı
Creusot, Rust için bir dedüktif doğrulayıcıdır. Kod hatalarını önlemek için formal spesifikasyonlara uyumu kanıtlar.
Rust Oyun Motoru Bevy'nin Altıncı Doğum Günü
Bevy'nin altıncı doğum günü kutlamasında önemli gelişmeler ve topluluk katkıları değerlendiriliyor.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.com