Depo ayrıntısı

Randozart/briev-lang

Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target codegen (native/embedded/GPU/hardware/web).

Rust NOASSERTION 04 Nisan 2026 son push 02 Kasım 2026 4 fork

compiler concurrency ffi formal-verification language-design llvm programming-language rust static-analysis systems-programming

GitHub'da aç

Yıldız

40+2 · 56 gün

Commit · 28g

—

son 28 günde

Yazar · 28g

—

farklı katkıcı

Detaylı değerlendirme

Bu repo için detaylı değerlendirme henüz yapılmadı. Analiz, Ayarlar'daki uyum profilini hesaba katarak "bu işime yarar mı" sorusunu cevaplıyor. Bir kez çalışır; günlük koşular buna dokunmaz. Saatlik sınır var — bir kaynaktan en fazla 3 analiz.