gattschardo/open-inductive
Open inductive predicate definitions for Isabelle
Public GitHub Catalog
Discovered Sep 24, 2026
gattschardo / neanderthal
A small game [German]
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.
#1012726GitHub 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