PhDP
Postdoctoral researcher at the Université de Montréal focusing on probabilistic programming with typed lambda calculi. Ph.D. (Sherbrooke U)
Université de MontréalQuebec, Canada.
Pinned Repositories
Akarui
Experimental ML/AI code
alchemy2
A copy of Alchemy 2, a set of tools to handle Markov Logic Networks.
article_preprint
An article on preprints in biology (published in PLOS Biology).
cmake-gtest-gbench-starter
A cross-platform C++11/14/17 starter project with google test and google benchmark support.
cuda-cmake-gtest-gbench-starter
A cross-platform CUDA/C++17 starter project with google test and google benchmark support.
mlbop
Matlab code for S. Theodoridis' "Machine Learning: A Bayesian and Optimization Perspective" (2015).
phdp.github.io
Personal page
Raw
Random C code about random stuff
rust-cuda-template
Simple template for Rust + CUDA.
PhDP's Repositories
PhDP/mlbop
Matlab code for S. Theodoridis' "Machine Learning: A Bayesian and Optimization Perspective" (2015).
PhDP/cuda-cmake-gtest-gbench-starter
A cross-platform CUDA/C++17 starter project with google test and google benchmark support.
PhDP/cmake-gtest-gbench-starter
A cross-platform C++11/14/17 starter project with google test and google benchmark support.
PhDP/alchemy2
A copy of Alchemy 2, a set of tools to handle Markov Logic Networks.
PhDP/Akarui
Experimental ML/AI code
PhDP/Raw
Random C code about random stuff
PhDP/article_preprint
An article on preprints in biology (published in PLOS Biology).
PhDP/phdp.github.io
Personal page
PhDP/rust-cuda-template
Simple template for Rust + CUDA.
PhDP/EcoInter
Manuscript, code and data for the paper "Ecological Interactions and the Netflix Problem"
PhDP/c-cmake-gtest-gbench-starter
Cmake template for C projects with Google Test + Google Benchmark
PhDP/Origin
A neutral model with allopatric/parapatric speciation.
PhDP/PPV
PhDP/VimConfig
Some Linux config files I use.
PhDP/Wagner
A theoretical model to study macroevolution and phylogeographies.
PhDP/webpage-hakyll
Hakyll source for my personal page.
PhDP/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
PhDP/mathlib
Lean mathematical components library
PhDP/Mini-TT
mirror of A simple type-theoretic language: Mini-TT
PhDP/PhDP