gabina

Pinned Repositories

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

gabina's Repositories

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