gattschardo/open-inductive
Open inductive predicate definitions for Isabelle
Public GitHub Catalog
Discovered Oct 14, 2026
gattschardo / tox4j
New and improved java wrapper for Tox
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.
#38382585GitHub 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