-
-
A cross-platform CUDA/C++17 starter project with google test and google benchmark support.
-
webpage-hakyll Public
Hakyll source for my personal page.
-
c-cmake-gtest-gbench-starter Public
Cmake template for C projects with Google Test + Google Benchmark
-
cmake-gtest-gbench-starter Public
A cross-platform C++11/14/17 starter project with google test and google benchmark support.
-
-
agda-lecture-notes Public
Forked from jespercockx/agda-lecture-notesAgda lecture notes for the Functional Programming course at TU Delft
TeX UpdatedNov 24, 2022 -
-
PPV Public
Forked from HirataMichi/PPV -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedOct 22, 2022 -
-
Origin Public
A neutral model with allopatric/parapatric speciation.
-
-
-
Moritz Public
A theoretical model to study macroevolution and phylogeographies.
-
mlbop Public
Matlab code for S. Theodoridis' "Machine Learning: A Bayesian and Optimization Perspective" (2015).
-
EcoInter Public
Manuscript, code and data for the paper "Ecological Interactions and the Netflix Problem"
-
alchemy2 Public
A copy of Alchemy 2, a set of tools to handle Markov Logic Networks.
-
Mini-TT Public
Forked from kino3/Mini-TTmirror of A simple type-theoretic language: Mini-TT
Haskell UpdatedFeb 15, 2017 -
article_preprint Public
An article on preprints in biology (published in PLOS Biology).
{{ message }}