🔯 Modern, batteries-included Hugo theme for creating beautiful doc, blog and static websites

Highly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A project dedicated to building LLVM toolchain for Arm and AArch64 embedded targets and AArch64 native Linux development.

A simpler site generator. Transforms a directory of templates (of varying types) into HTML.

A LaTeX class for producing accessible, tagged PDFs for theses and dissertations

ESP32 WPA2 Enterprise example simplified for Arduino

Single source of truth for my personal up-to-date resume

An Dynamic Data Mapping Issue Detector for OpenMP Applications

Script to install DNSMasq in an iocage jail.

Dynamic DNS (DDNS) service based on Cloudflare! Access your home network remotely via a custom domain name without a static IP! Written in pure BASH~

Cross-platform benchmarking for memory allocators, aiming to be as close to real world as it is practical

CppCon 2019 Talk: slides and source code

Very fast, high quality, platform-independent hashing algorithm.

Profiling Tools Interfaces for GPU (PTI for GPU) is a set of Getting Started Documentation and Tools Library to start performance analysis on Intel(R) Processor Graphics easily

CUDAAdvisor: a GPU profiling tool

These are my dotfiles for i3-gaps, picom, and polybar on my Arch Linux PC

A web-based collaborative LaTeX editor

A cross-platform, OpenGL terminal emulator.

Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.

sequential and parallel SAT solver

sequential and parallel SAT solver

A general purpose syntax highlighter in pure Go

The world’s fastest framework for building websites.

This Visual Studio Code extension provides syntax highlighting for the Promela language

A fast, clean, responsive Hugo theme.