Philippe Desjardins-Proulx's repositories
cuda-cmake-gtest-gbench-starter
A cross-platform CUDA/C++17 starter project with google test and google benchmark support.
cmake-gtest-gbench-starter
A cross-platform C++11/14/17 starter project with google test and google benchmark support.
article_preprint
An article on preprints in biology (published in PLOS Biology).
phdp.github.io
Personal page
rust-cuda-template
Simple template for Rust + CUDA.
c-cmake-gtest-gbench-starter
Cmake template for C projects with Google Test + Google Benchmark
webpage-hakyll
Hakyll source for my personal page.
agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
Language:TeX000
mathlib
Lean mathematical components library
Language:LeanApache-2.0000
Mini-TT
mirror of A simple type-theoretic language: Mini-TT
Language:Haskell000