github / Research & data

jev-labs

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

copyleftdev · Original language: English

This repository presents a TLA+-verified consensus kernel built for TypeSafe's Jev. The creator demonstrates the system's reliability by documenting its performance across 1,680 simulated pharmacy decision scenarios, providing accompanying code and video evidence for review.

Translated summary · AI-assisted; check the original.

Open original Copy linkSave

JEVLAB ART

Top 10

Supporter

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

Supporters