Հայտնի՝ Տվյալները թարմացվել են՝ 27 հոկտեմբերի, 2026 թ.

Կատեգորիաներ

Ինտերնետ1356
Հաղորդակցություն321
Աուդիո և վիդեո898
Գրաֆիկա և դիզայն539
Գրասենյակ և արտադրողականություն1124
Ծրագրավորման գործիքներ3134
Արհեստական բանականություն529
Անվտանգություն և գաղտնիություն385
Համակարգային գործիքներ3114
Խաղեր523
Կրթություն և գիտություն239
Ցանց և ՏՏ284

Coq՝ ծրագրերի ներբեռնում

Կատալոգում կա Coq մշակողի 1 Windows ծրագիր։ Վերջին թարմացումը՝ Coq Beta 2025.08.3։ · github.com