lrsjohnson/upptackt
MIT M.Eng: Automated Elementary Geometry Theorem Discovery via Inductive Diagram Manipulation
Public GitHub Catalog
Discovered Sep 29, 2026
lrsjohnson / rolling
MIT 6.837 - Computer Graphics - Final Project - Ball collision and response
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#14809994GitHub System ID
lrsjohnsonOrganization / User
PublicVisibility
ActiveCatalog Status
More from lrsjohnson
lrsjohnson/simrooming
Web Interface for Simmons Rooming Lottery
lrsjohnson/directory
Interactive cross sectional map of Simmons Hall with resident search.
lrsjohnson/simadmin
A Simple Web Admin Tool