GitHub Hot Board · Архів репозиторію
domschrei/mallob
Scalable Automated Reasoning for HPC and Clouds (Опис узято з самого репозиторію.)
Дані на October 21domschrei
Найкраще місце
#52
Недооцінені перлини
100
Усього зірок
33
Усього форків
3
Днів у рейтингах (30 дн.)
Поточні місця
- 52Недооцінені →
Недооцінені перлини
100 зірок · 33 fork · Усього зірок (за зростанням)
Динаміка за 30 днів
Накоплені зірки
Динаміка місць