Gabina Luz Bianchi's repositories
WikiEduDashboard
Wiki Education Foundation's Wikipedia course dashboard system
Language:RubyMIT000
wikimedia-references
A Flask API to get references for a specific revision id in some Wikimedia project and language.
Language:Python000
lagordohacker
My personal blog
Language:Ruby000
tendermint
⟁ Tendermint Core (BFT Consensus) in Go
Apache-2.0000
Language:TeX000
coq
Construcción Formal de Programas en Teoría de Tipos
Language:Coq000
Machine-Learning
Machine Learning course in Universidad Nacional de Rosario
Language:C000
NachOS
Not Another Completely Heuristic Operating System
Language:C++000
alp
Trabajo Práctico de ALP
Language:Haskell000
Tigre
Tiger compiler (x64) versión spill sin coalesce
Language:Standard ML000