Stars
ysaleh03 / prusti-dev
Forked from AureaNoire/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
An automated deductive program verifier based on concurrent separation logic
Compost, an affine compiler for functional programming with fast memory management
AureaNoire / prusti-dev
Forked from prusti/prustiA static verifier for Rust, based on the Viper verification infrastructure.
Rust implementations of VerifyThis challenges.
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
A curated list of Rust code and resources.
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
Place capability graphs, a model for Rust ownership and borrow system.
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.
petejohanson / crkbd
Forked from foostan/crkbdCorne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.
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
Summer 2027 software engineering, data science, AI, quant, product management, and hardware internship postings. Updated daily by Simplify and Pitt CSC.