guillaumebrunerie/DuolingoCourseSwitcher
User script to enable quick switching of language courses on Duolingo.
Developer Profile
guillaumebrunerie
Discovered public repositories for guillaumebrunerie in the GitHub catalog.
guillaumebrunerie/reversetreeenhancer
User script for a better experince when using a reverse tree on Duolingo
guillaumebrunerie/agda
Agda is a dependently typed programming language / interactive theorem prover.
guillaumebrunerie/HoTT-Agda
Development of homotopy type theory in Agda
guillaumebrunerie/HoTT
This repository is now obsolete
guillaumebrunerie/Chromiarch-OS
A way to run both Chrome OS and Arch Linux simultaneously on a Samsung Chromebook