cs-t1
Computer science, Esperanto and aviation enthusiast. Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
École Normale Supérieure, Paris.Paris
cs-t1's Following
- 01mf02Universität Innsbruck
- 3b1b3Blue1Brown
- backtracking
- ColoquinteAMD
- Dinnerbone@Mojang
- Edu4Chip
- gabriel-doriath-dohler
- ghislainfournyETH Zurich
- keesj
- lip6Paris
- mattvenn@YosysHQ-GmbH @TinyTapeout
- mirage
- neodb-socialCanada
- NukesorHamburg, Germany
- pfournier01ENS Ulm
- regardscitoyensFrance
- RemyCiterinENS Ulm
- ReVancedUnited States of America
- samsa1INRIA
- Swire42
- tbrkInria
- terra0project
- ThreeFxZurich, Switzerland
- TinyTapeout
- Titoutee
- ZigEmbeddedGroup