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