guillaumebrunerie/DuolingoCourseSwitcher
User script to enable quick switching of language courses on Duolingo.
A way to run both Chrome OS and Arch Linux simultaneously on a Samsung Chromebook
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
User script to enable quick switching of language courses on Duolingo.
User script for a better experince when using a reverse tree on Duolingo
Agda is a dependently typed programming language / interactive theorem prover.
Development of homotopy type theory in Agda