andrejbauer/snakes
A tutorial on how to use Git (in Slovene).
Public GitHub Catalog
Discovered Oct 2, 2026
andrejbauer / iRRAM
Exact real arithmetic in C++
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#24193189GitHub System ID
andrejbauerOrganization / User
PublicVisibility
ActiveCatalog Status
More from andrejbauer
andrejbauer/zeroes
Programs for computing beautiful pictures and animations of zeroes of polynomials.
andrejbauer/fakebook
Totally unlike the other site
andrejbauer/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.