Explore projects

Code source de https://tps.azertoutes.aliens-lyon.fr

Our mission is to bring together like-minded people to brew their own beer using our professional grade kit in our own controlled, friendly and supportive environments. We welcome total beginners through to experienced brewers, to join our communit

My faust minimoog from ATIAM

A game representing the life at the Ecole Normale Superieure de Lyon.

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

Simplex Basix