Βιβλιοθήκες γραμμένες σε Coq
unbound
Replib: generic programming & Unbound: γενική επεξεργασία συνδετικών.
- 40
- BSD 3-clause "New" or "Revised"
cps
Μια επισημοποίηση των υπολογισμών στυλ συνεχούς μετάβασης στο Coq [WIP] (από takanuva).
- 20
- BSD 3-clause "New" or "Revised"
comonad-transformers
Μετασχηματιστές Comonad Haskell 98 - από το 4.0 έχουν συγχωνευθεί στο πακέτο Comonad..
- 12
- BSD 3-clause "New" or "Revised"
Doubly-Linked-List-VST
Το τελικό έργο για το CS2603 (2021 Άνοιξη), με στόχο την επαλήθευση μιας διπλά συνδεδεμένης βιβλιοθήκης λιστών χρησιμοποιώντας VST. Συνεργασία με τον @karzexcc.
- 2
- GNU General Public License v3.0 only
recross-coq
Μηχανή Regexp στο Coq για επίλυση σταυρόλεξων regexp.
- 0
- GNU General Public License v3.0 only