Pinned Repositories
cell-model
Matlab implementation of the cellular model described in Weiße et al., 2015.
evotsc
Mirror of the EvoTSC repository on GitHub.
GADT-typechecker
An OCaml typechecker for a ML-like language with Generalized Algebraic Data Types.
lmoch
An OCaml model checker for Lustre.
OPMORL-2.0
The curses version of the OverPowerful MObile Rogue-Like
phd
GitHub mirror of the original repo.
ProjetSysdig
roborobo3
My fork of roborobo3, a C++ swarm robotics simulation software.
Rsnake
A C/SDL Snake clone
webpage
tgrohens's Repositories
tgrohens/OPMORL-2.0
The curses version of the OverPowerful MObile Rogue-Like
tgrohens/Rsnake
A C/SDL Snake clone
tgrohens/GADT-typechecker
An OCaml typechecker for a ML-like language with Generalized Algebraic Data Types.
tgrohens/ProjetSysdig
tgrohens/roborobo3
My fork of roborobo3, a C++ swarm robotics simulation software.
tgrohens/AoC-2020
My solutions to https://adventofcode.com/2020
tgrohens/cell-model
Matlab implementation of the cellular model described in Weiße et al., 2015.
tgrohens/evotsc
Mirror of the EvoTSC repository on GitHub.
tgrohens/lmoch
An OCaml model checker for Lustre.
tgrohens/phd
GitHub mirror of the original repo.
tgrohens/webpage
tgrohens/Buckets-JS
A complete, fully tested and documented data structure library written in pure JavaScript.
tgrohens/dyad
Projet de cours de dynamique adaptative
tgrohens/matplotlib
matplotlib: plotting with Python
tgrohens/micro-js
A compact OCaml implementation of a large subset of JavaScript (ES5).
tgrohens/neoantigen_calling_pipeline
Pipeline to call somatic cancer neoantigens from mutations in patient tumor DNA
tgrohens/PetitHaskell
A compiler for PetitHaskell, a large subset of Haskell, written in OCaml.
tgrohens/vision-dm
Homework for the 2016/2017 Computer Vision course at ENS.