https://github.com/timotheemathieu/adastop

Sequential testing for efficient and reliable comparison of stochastic algorithms.

empirical-research sequential-testing statistical-reproducibility

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/guix-env

Guix and Virtualenv used together for a reproducible python development environment

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/robustmeanestimator

Compute robust mean estimation (in python) using M-estimators in one or multi dimension.

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/adaptive_stopping_mc_rl

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/mom_classification

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/cursedaudiomaze

Small cli linux game with maze and tilt mazes in which you navigate by ear.

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/mom_nn

Robust Neural networks with MOM

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/inequalitieswiki

A wiki with math inequalities in it

Last synced: 23 Feb 2026

https://github.com/timotheemathieu/t-guix

personal guix channel

Last synced: 13 Feb 2026

https://github.com/timotheemathieu/timotheemathieu.github.io

Website

Last synced: 14 Feb 2026

https://github.com/timotheemathieu/spf-mode

emacs minor mode to write structured proofs using org-mode

Last synced: 16 Feb 2026

https://github.com/timotheemathieu/statcourse

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/rlberry-queue

some scripts to use rq with rlberry

Last synced: 13 Sep 2025

https://github.com/timotheemathieu/spf-py

Structured proof written in markdown

Last synced: 13 Sep 2025