Hector Peeters's starred repositories
StarlightEye
A IMX585 camera board designed for Raspberry Pi
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
music-generation
A music theory library in Rust for generating songs🎶
citruszest.nvim
A vibrant and refreshing neovim colorscheme inspired by citrus fruits.
ugent-typst-template
A typst template for an UGent disseration
linkwarden
⚡️⚡️⚡️Self-hosted collaborative bookmark manager to collect, organize, and preserve webpages and articles.
bluloco.nvim
bluloco theme port for neovim
pmtiles-rs
Rust implementation of PMTiles
cinepi-sdk
Collection of software components for development of open source cinema camera using raspberry pi hardware and software.