Explore projects
-
-
Travail sur la documentation du logiciel FiatLux http://fiatlux.loria.fr/
Updated -
-
-
Sanskrit linguistic resources under the Sanskrit Heritage Platform format
Updated -
-
A Coq formalization of Danvy and Filinski's one-pass, properly-recursive CPS transformation.
Updated -
-
Material about the Energy vs Responsiveness Trade-off in EASY Back Filling article submitted to Cluster 2017.
Updated -
UpdatedUpdated
-
Updated
-
-
Updated
-
-
-
Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.
Updated -
Updated
-
Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour
UpdatedUpdated