github / Research & data

jev-labs

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

copyleftdev · Originalsprache: English

Dieses Repository stellt einen TLA+-verifizierten Konsens-Kernel für Jev von TypeSafe vor. Der Ersteller demonstriert die Zuverlässigkeit des Systems anhand von 1.680 simulierten Entscheidungsfällen in Apotheken und stellt den zugehörigen Code sowie Videomaterial zur Überprüfung bereit.

Übersetzte Zusammenfassung · AI-assisted; check the original.

Original öffnen Link kopierenSpeichern

JEVLAB ART

Top 10

Supporter

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

Supporters