VMatthijs
Assistant professor in CS, working on probabilistic and differential programming, programming language semantics
Utrecht UniversityUtrecht, the Netherlands
Pinned Repositories
CHAD
martin-lof
papers of Per Martin Löf
math
Stan Math Library
Message-Passing-for-Probabilistic-Programming
opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
probprog-for-lions
This repo contains example code, data and experiments related to the UAI 2017 submission: ''Interpreting Lion Behaviour with Nonparametric Probabilistic Programs'''
pysystemtrade
Systematic Trading in python
satysfi-cross-windows
Crosscompiling SATySFi from Ubuntu to Windows
Slamming-the-sham
A Bayesian model for adaptive adjustment with noisy control data
VMatthijs's Repositories
VMatthijs/CHAD
VMatthijs/Slamming-the-sham
A Bayesian model for adaptive adjustment with noisy control data
VMatthijs/martin-lof
papers of Per Martin Löf
VMatthijs/math
Stan Math Library
VMatthijs/Message-Passing-for-Probabilistic-Programming
VMatthijs/opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
VMatthijs/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
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/pysystemtrade
Systematic Trading in python
VMatthijs/satysfi-cross-windows
Crosscompiling SATySFi from Ubuntu to Windows
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/Stanc-OCaml
A new compiler for Stan written in OCaml. NOTE: this repo has moved to https://github.com/stan-dev/stanc3.git !