jesboat/cs6113-project
Project files for cs6113 at Cornell.
Public GitHub Catalog
Discovered Sep 29, 2026
jesboat / math-classes
A library of abstract interfaces for mathematical structures in Coq.
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.
#15215439GitHub System ID
jesboatOrganization / User
PublicVisibility
ActiveCatalog Status
More from jesboat
jesboat/m2e-core
m2eclipse project repository (m2e-core)
jesboat/nar-maven-plugin
Native ARchive plugin for Maven
jesboat/aenea
Very dirty hacks to allow Linux voice macros using Dragon NaturallySpeaking in a virtual machine, with a focus on terminal use and coding. Choose again.