Willem Vanhulle wvhulle
- Ghent, Belgium
-
13:50
(UTC +02:00) - https://willemvanhulle.tech
- in/willem-vanhulle-2657aa180
- https://codeberg.org/wvhulle
Lists (2)
Sort Name ascending (A-Z)
Stars
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.
Lightweight HTTP proxy for optimizing Nix cache routes for fast access
Skills for Real Engineers. Straight from my .agents directory.
RE# - A high-performance, derivative-based regex engine with first-class support for intersection and complement operations.
tfw when you when your lid when uhh angle your lid sensor
Lightweight ASCII DAG (Directed Acyclic Graph) renderer for error chains, build systems, and dependency visualization.
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
An interactive NVIDIA-GPU process viewer and beyond, the one-stop solution for GPU process management.
PyQT application to dynamically modify Pipewire and Wireplumber settings at runtime.
LSP to assist with fixing up merge conflicts
A language with lexical effect handlers and lightweight effect polymorphism
Colloid icon theme for linux desktops
An IDE extension for debugging trait errors in Rust.
Construction of a Brownian Motion in Lean
Interactive find-and-replace in the terminal
Lean 4 linters for LLM-generated proof patterns
⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
List of projects that provide terminal user interfaces
A simple REPL for Lean 4, returning information about errors and sorries.
Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows
Educational blog posts for Rust beginners
compiler from JSON Schema into idiomatic Rust types