github / Research & data

jev-labs

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

copyleftdev · Ngôn ngữ gốc: English

Kho lưu trữ này giới thiệu một nhân đồng thuận đã được xác minh bằng TLA+ cho Jev của TypeSafe. Tác giả chứng minh độ tin cậy của hệ thống thông qua 1.680 kịch bản quyết định tại hiệu thuốc, cung cấp mã nguồn và video để kiểm chứng.

Tóm tắt đã dịch · AI-assisted; check the original.

Xem bản gốc Sao chép liên kếtLưu

JEVLAB ART

Top 10

Supporter

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

Supporters