Pinned Repositories
applied-fp-course
CompProg
Practice on competitive programming
DW-ex
DataWeave examples
effect-handlers-bench
Benchmark repository of polyglot effect handler examples
ejerciciosTaller
Ejercicios del taller de Álgebra I
eldiego
Short written algorithms, cheatsheet for ACM-ICPC
fstar
F* course at the 2019 ECI
HoTT-en-Agda
Implementación de los fundamentos de HoTT en Agda; labandalambda.
teofr's Repositories
teofr/HoTT-en-Agda
Implementación de los fundamentos de HoTT en Agda; labandalambda.
teofr/applied-fp-course
teofr/CompProg
Practice on competitive programming
teofr/DW-ex
DataWeave examples
teofr/effect-handlers-bench
Benchmark repository of polyglot effect handler examples
teofr/ejerciciosTaller
Ejercicios del taller de Álgebra I
teofr/eldiego
Short written algorithms, cheatsheet for ACM-ICPC
teofr/fstar
F* course at the 2019 ECI
teofr/gcc
teofr/hyperfine
A command-line benchmarking tool
teofr/libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
teofr/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
teofr/lorri
Your project's nix-env
teofr/makam
The Makam Metalanguage
teofr/MeLi-solar
Desafio MeLi
teofr/nixpkgs
Nix Packages collection
teofr/NOJazzPreview
The idea behind this project is to scrape the New Orleans Jazz Fest site and create playlists for every day in Spotify, so you can get a preview of their music.
teofr/OrgaII-TPIII
TPIII de OrgaII. Porque a Lucas no le gusta GitLab
teofr/PAP
Ejercicios de PAP
teofr/POs
Pruebas de Oposición
teofr/retro-httpaf-bench
Benchmarking environment for http servers
teofr/Rio18
Cursos de PVS y Haskell de Rio Cuarto 18
teofr/ruff
An extremely fast Python linter and code formatter, written in Rust.
teofr/scala_school
Lessons in the Fundamentals of Scala
teofr/Slider
An Arduino software for controlling a camera slider, the motor and the camera shutter
teofr/teofr.github.io
Página hueb
teofr/tikz-bayesnet-WLee
TikZ library for drawing Bayesian networks, graphical models and (directed) factor graphs in LaTeX. WLee style
teofr/TransWriting
TRS - Translation Rewriting System
teofr/tryingActions
teofr/typed-racket
Typed Racket