Depo ayrıntısı
aidenybai/tla-ts
A TLA+ interpreter and model checker in TypeScript
TypeScript MIT 26 Ekim 2026 son push 03 Kasım 2026 8 fork
Yıldız
128+71 · 5 gün
Commit · 28g
576
son 28 günde
Yazar · 28g
1
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.