ricksladkey/ladr
LADR: Library for Automated Deduction Research
Public GitHub Catalog
Discovered Sep 29, 2026
ricksladkey / ItalicComments
ItalicComments editor extension for Visual Studio 2010.
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.
#16268484GitHub System ID
ricksladkeyOrganization / User
PublicVisibility
ActiveCatalog Status
More from ricksladkey
ricksladkey/tidy
HTML Tidy (fork from tidy.sourceforge.net)
ricksladkey/audio-switcher
App that lets you easily switch Windows audio devices
ricksladkey/protobuf
Protocol Buffers - Google's data interchange format