Stars
draws an SVG schematic from a JSON netlist
Pono: A flexible and extensible SMT-based model checker
Binary wrapper that disables vDSO for a wrapped application.
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
A GlobalProtect VPN client for Linux, written in Rust, based on OpenConnect and Tauri, supports SSO with MFA, YubiKey, and client certificate authentication, etc.
A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX
Tidal music integration for Subsonic/Jellyfin/Plexamp.
Magnetic stripe authentication for system login using PAM.
Open-source and cross-platform cue player, built with Rust and egui.
Universal utility for programming FPGA
My undergraduate thesis at Reed College, expected graduation May 2026
Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.
Third-party native Jellyfin client for PC/PS4/PSVita/Nintendo Switch
A Neovim plugin for typing the International Phonetic Alphabet in the safety of your favorite modal editor.
Detect defense contractor hardware via Bluetooth and WiFi MAC address filtering. Named after the Greek protest dog.
forgot to mention! i love lakes.. water.... the fish!
Add/change/delete surrounding delimiter pairs with ease. Written with ❤️ in Lua.