guillaumebrunerie/DuolingoCourseSwitcher
User script to enable quick switching of language courses on Duolingo.
Public GitHub Catalog
Discovered Sep 26, 2026
guillaumebrunerie / HoTT-Agda
Development of homotopy type theory in Agda
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#6005323GitHub System ID
guillaumebrunerieOrganization / User
PublicVisibility
ActiveCatalog Status
More from guillaumebrunerie
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
This repository is now obsolete