Software Engineer at Arm
esp32-weather-epd. A low-power E-Paper weather display powered by an ESP32 microcontroller. Utilizes the OpenWeatherMap API.
6.2kesp32-quotes-epd. Displays motivational quotes on a low power E-Paper display controlled by an ESP32 microcontroller.
16ompdart. OMPDart (OpenMP Data Reduction Tool) - Static Generation of Efficient OpenMP Offload Data Mappings
6OpenMP-nvptx-offload-build-tools. Build scripts for compiling gcc and clang with OpenMP offload support for Nvidia GPUs.
5ompdataperf. A portable, low-overhead performance tool for detecting, profiling, and providing source code attribution for inefficient data mapping patterns in OpenMP programs.
4diy-microphone.
3dice-mosaic. Generate dice mosaics from jpeg/png images.
3mesi-verif. Formal verification of the MESI cache coherency protocol using the SPIN model checker.
2esp32-battery-voltage-logger. A simple C++ program for the esp32 that logs battery voltage. Useful for generating accurate battery discharge curves.
2libmltl. A high-performance library for Mission-time Linear Temporal Logic (MLTL) parsing, AST manipulation, and formula evaluation. Supports C++ and Python interfaces.
1heated_plate_openmp. Solves the 2D steady state heat equation by employing iteration. Uses OpenMP to exploit parallelism with a version for running on CPU and a version that offloads to a GPU target.
1poke327. A terminal based pokemon game.
1pollutant-concentration-to-aqi. A C library that converts pollutant concentrations to Air Quality Index(AQI). Supports 10 common AQI scales.
1ray-tracer. A ray tracing-based rendering engine written in C. Parallelized using OpenMP and MPI.
1