mgomezch/logica-constructiva
Material sobre de lógica constructiva para bosquejar un curso introductorio de pregrado
Public GitHub Catalog
Discovered Sep 29, 2026
mgomezch / groundhog
This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial http://www.fpcomplete.com/user/lykahb/groundhog for introduction
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.
#14808989GitHub System ID
mgomezchOrganization / User
PublicVisibility
ActiveCatalog Status
More from mgomezch
mgomezch/CI3725-SD2014
Cosas de CI3725 en Septiembre-Diciembre 2014
mgomezch/yesod-squealer
Generic REST API wrapper for Squealer version-controlled databases
mgomezch/squealer
Transpiler to add version control semantics to SQL databases