A static verifier for Rust, based on the Viper verification infrastructure.

🍜 A tasty Haskell web framework

Rust implementations of VerifyThis challenges.

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

A curated list of Rust code and resources.

Lossless Scaling Frame Generation on Linux

A curated list of projects, templates or anything interesting related to the Supernote tablet

Emacs Plus formulae for the Homebrew package manager

Emacs mac port formulae for the Homebrew package manager

Using DLL injection and IPC methods to log WM_TOUCH messages on Windows.

STM32 firmware emulating a USB touchscreen with up to 5 contacts.

STM32 firmware emulating a USB Precision Touchpad.

STM32 firmware emulating a USB mouse capable of smooth scrolling and panning.

Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.

Koka language compiler and interpreter

Vim-like editing for DrRacket

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

🎨 Generate and change color-schemes on the fly.

Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.

Custom wallpapers to show love for Doom Emacs and Org Mode

Mono Theme for Gnome

Gruvbox theme Wallpapers

Another attempt of a flat Gruvbox theme for Neovim

Collection of Summer 2026 tech internships!

llvm out-of-tree pass template

A collection of out-of-tree LLVM passes for teaching and learning