browservice. Browservice: Browse the modern web on historical browsers
1.4ktinygeom2d. Tiny 2D Geometry Library
31radiosity. Radiosity lighting implemented in C
10le-counting-practice. The code used in the experiments in the AAAI 2018 and IJCAI 2018 papers on linear extension counting
5libcontest. Functions for competition programming
4cses. Contest Submission Evaluation System (old version)
3linext. Approximate Counting of Linear Extensions in Practice
3count-mao. The code for the AAAI'19 paper "Counting and Sampling Markov Equivalent Directed Acyclic Graphs" (Topi Talvitie, Mikko Koivisto, University of Helsinki)
2pcart. C++
2modular-dag-sampling. The code used in the experiments of the UAI 2019 paper "Exact Sampling of Directed Acyclic Graphs from Modular Distributions"
2traveling-santa. Reaktor Traveling Santa holiday puzzle solution
2efficient-markov-equivalent-dag-counting. The code for the AAAI'20 paper "An Efficient Algorithm for Counting Markov Equivalent DAGs" (Robert Ganian, Thekla Hamm, Topi Talvitie)
1dda-simulator. Deterministic distributed algorithm simulator.
1mudbin. Simple command line utility and Rust library for quickly running untrusted code in a virtual machine
1learning-bns-with-cops-and-robbers. The code for the paper "Learning Bayesian networks with cops and robbers" (Topi Talvitie, Pekka Parviainen)
1