Pinned Repositories
agda-datalib
Datatype-generic programming library in/for Agda
Coml
compilateur-CdF
coq-label
Labels for Coq
MPRI-2.4-DTP
MPRI-2.4 Dependently-typed Functional Programming
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
PSTL-crypto-async
typechecker-evolution
The Evolution of a Typechecker
usuba-nucleo
Benchmark framework for Usuba ciphers on Nucleo platform
pedagand's Repositories
pedagand/typechecker-evolution
The Evolution of a Typechecker
pedagand/MPRI-2.4-DTP
MPRI-2.4 Dependently-typed Functional Programming
pedagand/coq-label
Labels for Coq
pedagand/compilateur-CdF
pedagand/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
pedagand/PSTL-crypto-async
pedagand/usuba-nucleo
Benchmark framework for Usuba ciphers on Nucleo platform
pedagand/5I554
pedagand/bench_avx512
pedagand/biblio
pedagand/certasmy86
pedagand/Certified-JVM-encoder-decoder
A generic encoder/decoder written in Coq
pedagand/compcert-mosel
pedagand/crypto
using this repo for all the crypto optimizations
pedagand/ctr128
128bits counter
pedagand/dblp-python
A simple Python wrapper around the DBLP API, currently supporting author search and author and publication lookup.
pedagand/GPUsuba
High-throughput cryptography on GPUs
pedagand/intel-ipsec-mb
Intel(R) Multi-Buffer Crypto for IPSec
pedagand/ixy
Simple userspace packet processing for educational purposes 🎓
pedagand/jasmin
Jasmin compiler
pedagand/jos
MIT's 6.828 JOS operating system, adapted to CSE205
pedagand/Moore
pedagand/MPRI-2.4-equations-teacher
pedagand/probzelus
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
pedagand/Projet3A
pedagand/PSAR-crypto-kernel
pedagand/racket
The Racket repository
pedagand/sboxgates
Program for finding low gate count implementations of S-boxes.
pedagand/thesis-dev
pedagand/Xed_parser