github / Research & data

jev-labs

AI-assisted summaries and translations. Check original sources for context and performance claims.

copyleftdev · Orijinal dil: English

Bu depo, TypeSafe'in Jev'i için TLA+ ile doğrulanmış bir fikir birliği çekirdeği sunmaktadır. Oluşturucu, 1.680 eczane karar senaryosu üzerinden sistemin güvenilirliğini göstermekte ve inceleme için ilgili kod ve video kayıtlarını sağlamaktadır.

Çevrilmiş özet · AI-assisted; check the original.

Orijinali aç Bağlantıyı kopyalaKaydet

JEVLAB ART

İlk 10

Supporter

1. W
   Wallpets 270 tıklama67d left
2. W
   Walltank 188 tıklama67d left
3. C
   Chowder 141 tıklama67d left
4. F
   Falconer 121 tıklama67d left
5. L
   Lemonpod 169 tıklama67d left
6. M
   Menta 143 tıklama67d left
7. S
   Sway 100 tıklama67d left
8. P
   Peon-Ping 91 tıklama67d left
9. Z
   Zeron 170 tıklama67d left
10. G
    Guideless 80 tıklama67d left

Supporters