frosch03/mastermind
Mastermind - Board game
Public GitHub Catalog
Discovered Sep 26, 2026
frosch03 / VectorArrows-Agda
Experiments in defining an Arrow-Like interface for fixed-size-Vectors in Agda
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.
#6941714GitHub System ID
frosch03Organization / User
PublicVisibility
ActiveCatalog Status
More from frosch03
frosch03/kerbal-calculator
Basic orbital calculator
frosch03/kerboscript-mode
basic emacs mode for kOS kerboscript syntax highlighting
frosch03/stoffliste
A simple angular app, that can be used to manage various cloth's