jpyamamoto
GitHub Campus Expert | λ Club Community Leader | Microsoft Learn Student Ambassador
Facultad de Ciencias, UNAMCDMX, México
Pinned Repositories
advent_of_code_2023
Solutions to the Advent of Code 2023.
brainfuck
Simple interpreter for the Brainfuck esoteric programming language. Built with Haskell.
cloud_coverage_image_analysis
Compute the Cloud Coverage Index of an image using a segmentation approach based on color ratios.
concurrent_webservice
Fetch data from the OpenWeatherMap API concurrently, limiting requests and using a cache.
curso_haskell_intermedio
Issuu-PDF-Downloader
Program on python which downloads Issuu files as PDF
lambdas
Interpreters for Lambda Calculus and extensions
ultrasonic_tardis
Doctor Who themed game that uses an Ultrasonic sensor connected to a Raspberry Pi in order to control a TARDIS and prevent it from crashing into the Daleks!
jpyamamoto's Repositories
jpyamamoto/Issuu-PDF-Downloader
Program on python which downloads Issuu files as PDF
jpyamamoto/curso_haskell_intermedio
jpyamamoto/cloud_coverage_image_analysis
Compute the Cloud Coverage Index of an image using a segmentation approach based on color ratios.
jpyamamoto/smallf__k-interpreter
Smallfuck Interpreter running on WebAssembly.
jpyamamoto/taller-lean
jpyamamoto/advent_of_code_2023
Solutions to the Advent of Code 2023.
jpyamamoto/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
jpyamamoto/hacktoberfest2022
Slides for introducing Hacktoberfest 2022
jpyamamoto/m_formales
Código para el curso de Métodos Formales.
jpyamamoto/set_covering
Approximation Algorithm for the Set Covering problem.
jpyamamoto/whale-detection
CNN to detect whale sounds.
jpyamamoto/advent_of_code_2019
My solutions for the Advent of Code 2019. Using TypeScript.
jpyamamoto/brainfuck
Simple interpreter for the Brainfuck esoteric programming language. Built with Haskell.
jpyamamoto/concurrent_webservice
Fetch data from the OpenWeatherMap API concurrently, limiting requests and using a cache.
jpyamamoto/lambdas
Interpreters for Lambda Calculus and extensions
jpyamamoto/rembe
jpyamamoto/automatas
Formalización de teoría de lenguajes y autómatas en Lean
jpyamamoto/crafting_interpreters
Following the Crafting Interpreters book, using Rust.
jpyamamoto/demo
Demo for Surface + LiveIsolatedComponent integration
jpyamamoto/gh_actions
Contenido para el taller sobre CI/CD con GitHub Actions y Azure Web Apps.
jpyamamoto/github-workshop
Taller de introducción a Git & GitHub
jpyamamoto/grelling-paradox-lean
Formalization of the Grelling's Paradox in the Lean Theorem Prover (and programming language)
jpyamamoto/interpreters
Implementación en Haskell de varios intérpretes vistos en la clase de Lenguajes de Programación.
jpyamamoto/JPYamamoto
A little about me...
jpyamamoto/maquina-turing
Máquina Universal de Turing.
jpyamamoto/nand2tetris
Solutions to projects of the nand2tetris roadmap.
jpyamamoto/np_algorithms
jpyamamoto/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.
jpyamamoto/shorty
A URL shortener
jpyamamoto/taller-verano-2024
Repositorio para el taller de Git & GitHub, para el grupo de estudio de Lean.