Teodoro Freund teofr

Organizations

Popular repositories Loading

1. Implementación de los fundamentos de HoTT en Agda; labandalambda.

   Agda 1

2. An Arduino software for controlling a camera slider, the motor and the camera shutter

   Arduino 2

3. Ejercicios del taller de Álgebra I

   Haskell

4. Forked from jluttine/tikz-bayesnet

   TikZ library for drawing Bayesian networks, graphical models and (directed) factor graphs in LaTeX. WLee style

   TeX

5. Practice on competitive programming

   C++

6. TPIII de OrgaII. Porque a Lucas no le gusta GitLab

   C