gattschardo/open-inductive
Open inductive predicate definitions for Isabelle
Public GitHub Catalog
Discovered Sep 28, 2026
gattschardo / tetris
basic tetris implementation for GTK3, SDL1 (with emscripten support) and SDL2
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.
#12663804GitHub System ID
gattschardoOrganization / User
PublicVisibility
ActiveCatalog Status
More from gattschardo
gattschardo/irssi-espeak
Text-to-speech plugin for irssi
gattschardo/mpc
Music Player Command
gattschardo/transmission-remote-cli
Curses interface for the daemon of the BitTorrent client Transmission