ricksladkey/ladr
LADR: Library for Automated Deduction Research
Public GitHub Catalog
Discovered Oct 5, 2026
ricksladkey / audio-switcher
App that lets you easily switch Windows audio devices
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.
#28900291GitHub System ID
ricksladkeyOrganization / User
PublicVisibility
ActiveCatalog Status
More from ricksladkey
ricksladkey/tidy
HTML Tidy (fork from tidy.sourceforge.net)
ricksladkey/protobuf
Protocol Buffers - Google's data interchange format
ricksladkey/generateDS
Generate Python data structures and XML parser from Xschema (Python 3 port)