github / Research & data

jev-labs

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

copyleftdev · 原文語言: English

該儲存庫展示了一個為 TypeSafe 的 Jev 設計的 TLA+ 驗證共識核心。作者透過 1,680 個藥房決策場景演示了系統的可靠性，並提供了相應的程式碼和影片資料以供審查。

翻譯摘要 · AI-assisted; check the original.

查看原文 複製連結收藏

JEVLAB ART

前十名

Supporter

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

Supporters