Projects in Awesome Lists by lmarzen
A curated list of projects in awesome lists by lmarzen .
https://github.com/lmarzen/ompdart
OMPDart (OpenMP Data Reduction Tool) - Static Generation of Efficient OpenMP Offload Data Mappings
Last synced: 11 Apr 2025
https://github.com/lmarzen/openmp-nvptx-offload-build-tools
Build scripts for compiling gcc and clang with OpenMP offload support for Nvidia GPUs.
Last synced: 11 Apr 2025
https://github.com/lmarzen/dice-mosaic
Generate dice mosaics from jpeg/png images.
converter dice die generator image-processing mosaic mural
Last synced: 08 Apr 2025
https://github.com/lmarzen/mesi-verif
Formal verification of the MESI cache coherency protocol using the SPIN model checker.
Last synced: 08 Apr 2025
https://github.com/lmarzen/ray-tracer
A ray tracing-based rendering engine written in C. Parallelized using OpenMP and MPI.
Last synced: 08 Apr 2025
https://github.com/lmarzen/heated_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.
Last synced: 08 Apr 2025
https://github.com/lmarzen/pollutant-concentration-to-aqi
A C library that converts pollutant concentrations to Air Quality Index(AQI). Supports 10 common AQI scales.
Last synced: 08 Apr 2025
https://github.com/lmarzen/k-means-clustering
C implementation of the k-means clustering algorithm that has been parallelized to run across multiple threads with OpenMP and uses silhouette coefficients to find an optimal number of clusters.
Last synced: 08 Apr 2025
https://github.com/lmarzen/esp32-battery-voltage-logger
A simple C++ program for the esp32 that logs battery voltage. Useful for generating accurate battery discharge curves.
Last synced: 08 Apr 2025
https://github.com/lmarzen/libmltl
A high-performance library for Mission-time Linear Temporal Logic (MLTL) parsing, Abstract Syntax Tree (AST) manipulation, and formula evaluation. Supports C++ and Python interfaces.
formal-methods formal-verification mltl temporal-logic
Last synced: 08 Apr 2025