Pinned Repositories
alp
Trabajo Práctico de ALP
coq
Construcción Formal de Programas en Teoría de Tipos
lagordohacker
My personal blog
Machine-Learning
Machine Learning course in Universidad Nacional de Rosario
NachOS
Not Another Completely Heuristic Operating System
PyE
tendermint
⟁ Tendermint Core (BFT Consensus) in Go
Tigre
Tiger compiler (x64) versión spill sin coalesce
WikiEduDashboard
Wiki Education Foundation's Wikipedia course dashboard system
wikimedia-references
A Flask API to get references for a specific revision id in some Wikimedia project and language.
gabina's Repositories
gabina/alp
Trabajo Práctico de ALP
gabina/coq
Construcción Formal de Programas en Teoría de Tipos
gabina/lagordohacker
My personal blog
gabina/Machine-Learning
Machine Learning course in Universidad Nacional de Rosario
gabina/NachOS
Not Another Completely Heuristic Operating System
gabina/PyE
gabina/tendermint
⟁ Tendermint Core (BFT Consensus) in Go
gabina/Tigre
Tiger compiler (x64) versión spill sin coalesce
gabina/WikiEduDashboard
Wiki Education Foundation's Wikipedia course dashboard system
gabina/wikimedia-references
A Flask API to get references for a specific revision id in some Wikimedia project and language.