До шести записів, прочитаних один проти одного за єдиним опублікованим методом: становище, профіль за категоріями, траєкторія росту та кожна вихідна цифра в одній таблиці.
apalache-mc/apalacheЗавантаження…
quint-co/quintЗавантаження…
ucsd-progsys/liquidhaskellЗавантаження…
assura-lang/assuraЗавантаження…
4 із 6
Жоден із обраних репозиторіїв ще не має опублікованої інспекції.