mlsteele/conjugate-proof
An exploring in using programming to legitimately prove general things by evaluating specific cases.
Public GitHub Catalog
Discovered Sep 25, 2026
mlsteele / Arduino-Wheel
Abstraction class for robot wheels in Arduino.
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.
#5263113GitHub System ID
mlsteeleOrganization / User
PublicVisibility
ActiveCatalog Status
More from mlsteele
mlsteele/git-police
Git update guidance script.
mlsteele/wheel-book
Interactive retelling of "Let's Invent The Wheel" by Minsky and Papert
mlsteele/OCaml-Bouncyball
Graphics doodle of bouncyballs in OCaml.