Skip to content
View jpyamamoto's full-sized avatar
💻
Writing code & proofs
💻
Writing code & proofs
405 followers · 8 following

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

Block or report jpyamamoto

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jpyamamoto/README.md

Hello world 🌎

I am a computer scientist and (lowkey) mathematician

Elixir Developer at Bunsan

  • ⚙️ I like using Lean, Rust, Haskell, Elixir.
  • 💬 ping me about type theory, functional programming, formal methods, programming languages.
  • 🤝 Find me at jpy051 [at] uregina.ca, @jpyamamoto@mathstodon.xyz.

Pinned Loading

  1. cloud_coverage_image_analysis cloud_coverage_image_analysis Public archive

    Compute the Cloud Coverage Index of an image using a segmentation approach based on color ratios.

    Python 2 1

  2. lambdas lambdas Public

    Interpreters for Lambda Calculus and extensions

    JavaScript

  3. advent_of_code_2023 advent_of_code_2023 Public archive

    Solutions to the Advent of Code 2023.

    Rust 1

  4. concurrent_webservice concurrent_webservice Public archive

    Fetch data from the OpenWeatherMap API concurrently, limiting requests and using a cache.

    Elixir

  5. ultrasonic_tardis ultrasonic_tardis Public archive

    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!

    Python 1

  6. brainfuck brainfuck Public

    Simple interpreter for the Brainfuck esoteric programming language. Built with Haskell.

    Haskell