rdmarsh2/OpenBeam-Tantillus
OpenSCAD files for a tantillus(3d printer) variant using an OpenBeam frame.
Public GitHub Catalog
Discovered Sep 26, 2026
rdmarsh2 / chiso-tex
A program using the Curry-Howard isomorphism to check and produce typeset proofs from a proof term
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.
#7682186GitHub System ID
rdmarsh2Organization / User
PublicVisibility
ActiveCatalog Status
More from rdmarsh2
rdmarsh2/haskogeneous
A personal web framework in Haskell