gebner/gapt-proposal
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
gebner / dali-usb-host
Host utilities for my DALI-USB adapter
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.
#2485046GitHub System ID
gebnerOrganization / User
PublicVisibility
ActiveCatalog Status
More from gebner
gebner/reforest
Compressing term languages using grammars.
gebner/nixpkgs
Nix Packages collection
gebner/gapt
GAPT: General Architecture for Proof Theory