Popular repositories Loading

1. HoTT-en-Agda HoTT-en-Agda Public

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

   Agda 1

2. Slider Slider Public

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

   Arduino 2

3. ejerciciosTaller ejerciciosTaller Public

   Ejercicios del taller de Álgebra I

   Haskell

4. tikz-bayesnet-WLee tikz-bayesnet-WLee Public

   Forked from jluttine/tikz-bayesnet

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

   TeX

5. CompProg CompProg Public

   Practice on competitive programming

   C++

6. OrgaII-TPIII OrgaII-TPIII Public

   TPIII de OrgaII. Porque a Lucas no le gusta GitLab

   C