Juan Pablo Yamamoto's repositories
Issuu-PDF-Downloader
Program on python which downloads Issuu files as PDF
cloud_coverage_image_analysis
Compute the Cloud Coverage Index of an image using a segmentation approach based on color ratios.
smallf__k-interpreter
Smallfuck Interpreter running on WebAssembly.
advent_of_code_2023
Solutions to the Advent of Code 2023.
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
hacktoberfest2022
Slides for introducing Hacktoberfest 2022
m_formales
Código para el curso de Métodos Formales.
set_covering
Approximation Algorithm for the Set Covering problem.
whale-detection
CNN to detect whale sounds.
advent_of_code_2019
My solutions for the Advent of Code 2019. Using TypeScript.
brainfuck
Simple interpreter for the Brainfuck esoteric programming language. Built with Haskell.
concurrent_webservice
Fetch data from the OpenWeatherMap API concurrently, limiting requests and using a cache.
automatas
Formalización de teoría de lenguajes y autómatas en Lean
crafting_interpreters
Following the Crafting Interpreters book, using Rust.
gh_actions
Contenido para el taller sobre CI/CD con GitHub Actions y Azure Web Apps.
github-workshop
Taller de introducción a Git & GitHub
grelling-paradox-lean
Formalization of the Grelling's Paradox in the Lean Theorem Prover (and programming language)
interpreters
Implementación en Haskell de varios intérpretes vistos en la clase de Lenguajes de Programación.
JPYamamoto
A little about me...
maquina-turing
Máquina Universal de Turing.
nand2tetris
Solutions to projects of the nand2tetris roadmap.
quantum_computing_studies
Soluciones para las prácticas de programación del libro "Quantum Computing for Computer Scientists". Las soluciones a los ejercicios teóricos se encuentran en mi blog.
taller-verano-2024
Repositorio para el taller de Git & GitHub, para el grupo de estudio de Lean.
tesis
Desarrollo de tesis