Assistant professor in CS, working on probabilistic and differential programming, programming language semantics
Repositories
VMatthijs/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
VMatthijs/efficient-chad-lean
VMatthijs/pysystemtrade
Systematic Trading in python
VMatthijs/Slamming-the-sham
A Bayesian model for adaptive adjustment with noisy control data
VMatthijs/martin-lof
papers of Per Martin Löf
VMatthijs/probprog-for-lions
This repo contains example code, data and experiments related to the UAI 2017 submission: ''Interpreting Lion Behaviour with Nonparametric Probabilistic Programs'''
VMatthijs/satysfi-cross-windows
Crosscompiling SATySFi from Ubuntu to Windows
VMatthijs/opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
VMatthijs/Stanc-OCaml
A new compiler for Stan written in OCaml. NOTE: this repo has moved to https://github.com/stan-dev/stanc3.git !
VMatthijs/stan
Stan development repository (home page is linked below). The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.
VMatthijs/math
Stan Math Library