Pierre-Évariste Dagand
Advanced@pedagand
typechecker-evolution. The Evolution of a Typechecker
54MPRI-2.4-DTP. MPRI-2.4 Dependently-typed Functional Programming
33coq-label. Labels for Coq
11agda-datalib. Datatype-generic programming library in/for Agda
3usuba-nucleo. Benchmark framework for Usuba ciphers on Nucleo platform
1PSTL-crypto-async. Rust
1compilateur-CdF. Agda
1Coml. Coq
1 views 8 projects
Apply