mgomezch/logica-constructiva
Material sobre de lógica constructiva para bosquejar un curso introductorio de pregrado
Developer Profile
mgomezch
Discovered public repositories for mgomezch in the GitHub catalog.
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
mgomezch/watchtree
Small utility to run commands in response to events on watched files or directories
mgomezch/MOOC-Course-Description
Public repository.
mgomezch/libro
Informe de pasantía
mgomezch/shakespeare
Haml-like template files that are compile-time checked
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
mgomezch/yesod
A RESTful Haskell web framework built on WAI.
mgomezch/postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
mgomezch/YiSiEl
Proyecto de CI3725 de hace unos años. Ruby metaprogramming is fun!
mgomezch/Rabano
niñas tontas y niños tontos everywhere.
mgomezch/CI4251
Programación funcional avanzada en la USB
mgomezch/CI3725
Traductores e interpretadores en la Universidad Simón Bolívar
mgomezch/ldc-web
Old personal website at university with pages for courses I taught
mgomezch/CI3825
Public repository.
mgomezch/Tajada
Public repository.
mgomezch/--ngara
Repositorio del equipo Ñángara de CI3715 (ingeniería de software) en Septiembre Diciembre de 2011 en la Universidad Simón Bolívar
mgomezch/graficas
Public repository.
mgomezch/skel
My dotfiles.
mgomezch/redes
Public repository.
mgomezch/Pekomin
Proyecto de CI6450 de Manuel Gómez y Daniel Ramírez