github / Research & data

jev-labs

요약·번역에 AI를 활용합니다. 원문과 성능 주장은 출처에서 확인하세요.

copyleftdev · 원문 언어: English

이 저장소는 TypeSafe의 Jev를 위한 TLA+ 검증 합의 커널을 소개합니다. 제작자는 1,680건의 약국 의사결정 시나리오를 통해 시스템의 신뢰성을 시연하며, 이를 뒷받침하는 코드와 영상 자료를 함께 제공하여 검토할 수 있도록 했습니다.

번역된 요약 · AI-assisted; check the original.

원문 보기 링크 복사저장

JEVLAB ART

상위 10

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