github / Research & data

jev-labs

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

copyleftdev · Язык оригинала: English

Этот репозиторий представляет ядро консенсуса, верифицированное с помощью TLA+, для Jev от TypeSafe. Автор демонстрирует надежность системы на примере 1680 сценариев принятия решений в аптеках, предоставляя код и видеоматериалы для проверки.

Переведённое резюме · 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