Knihovny napsané v Coq u
unbound
Replib: generické programování & Unbound: generické zacházení s pojivy.
- 40
- BSD 3-clause "New" or "Revised"
cps
Formalizace kalkulací ve stylu pokračování-předávání v Coq [WIP] (od takanuvy).
- 20
- BSD 3-clause "New" or "Revised"
comonad-transformers
Haskell 98 comonádové transformátory – od verze 4.0 byly začleněny do comonádového balíčku.
- 12
- BSD 3-clause "New" or "Revised"
Doubly-Linked-List-VST
Konečný projekt pro CS2603 (jaro 2021), jehož cílem je ověřit knihovnu dvojitě propojených seznamů pomocí VST. Spolupráce s @karzexcc.
- 2
- GNU General Public License v3.0 only