Pinned Repositories
applied-fp-course
CompProg
Practice on competitive programming
DW
DataWeave gists
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
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/CompProg
Practice on competitive programming
teofr/DW
DataWeave gists
teofr/DW-ex
DataWeave examples
teofr/effect-handlers-bench
Benchmark repository of polyglot effect handler examples
teofr/eldiego
Short written algorithms, cheatsheet for ACM-ICPC
teofr/fstar
F* course at the 2019 ECI
teofr/gcc
teofr/fast_bitset
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/opentelemetry.io
The OpenTelemetry website and documentation
teofr/PAP
Ejercicios de PAP
teofr/POs
Pruebas de Oposición
teofr/ratatui
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
teofr/ratatui-website
Ratatui Documentation
teofr/retro-httpaf-bench
Benchmarking environment for http servers
teofr/ruff
An extremely fast Python linter and code formatter, written in Rust.
teofr/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
teofr/scala_school
Lessons in the Fundamentals of Scala
teofr/specr
teofr/teofr.github.io
Página hueb
teofr/tryingActions
teofr/typed-racket
Typed Racket
teofr/uv
An extremely fast Python package and project manager, written in Rust.