andrejbauer/agda-writer
A simple GUI wrapper for Agda
Public GitHub Catalog
Discovered Oct 7, 2026
andrejbauer / kmeans
A demonstration of Ocaml modules & functors for machine learning.
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.
#34262376GitHub System ID
andrejbauerOrganization / User
PublicVisibility
ActiveCatalog Status
More from andrejbauer
andrejbauer/snakes
A tutorial on how to use Git (in Slovene).
andrejbauer/zeroes
Programs for computing beautiful pictures and animations of zeroes of polynomials.
andrejbauer/iRRAM
Exact real arithmetic in C++