Bibliothèques écrites en Coq
unbound
Replib: programmation générique & Unbound: traitement générique des classeurs.
- 40
- BSD 3-clause "New" or "Revised"
cps
Une formalisation des calculs de style passage-continuation en Coq [WIP] (par takanuva).
- 20
- BSD 3-clause "New" or "Revised"
comonad-transformers
Transformateurs Haskell 98 comonad - à partir de la version 4.0, ils ont fusionné dans le package comonad.
- 12
- BSD 3-clause "New" or "Revised"
doubly-generic
Programmation arité-générique de type de données-générique, ou doublement générique, en Coq..
- 4
- MIT
Doubly-Linked-List-VST
Le projet final pour CS2603 (printemps 2021), visant à vérifier une bibliothèque de listes doublement chaînées à l'aide de VST. En collaboration avec @karzexcc.
- 2
- GNU General Public License v3.0 only
recross-coq
Moteur d'expression régulière en Coq pour résoudre les mots croisés d'expression régulière.
- 0
- GNU General Public License v3.0 only