teofr - Overview
Popular repositories Loading
-
Implementación de los fundamentos de HoTT en Agda; labandalambda.
Agda 1
-
An Arduino software for controlling a camera slider, the motor and the camera shutter
Arduino 2
-
Ejercicios del taller de Álgebra I
Haskell
-
Forked from jluttine/tikz-bayesnet
TikZ library for drawing Bayesian networks, graphical models and (directed) factor graphs in LaTeX. WLee style
TeX
-
Practice on competitive programming
C++
-
TPIII de OrgaII. Porque a Lucas no le gusta GitLab
C