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