Willem Vanhulle wvhulle
8 followers · 2 following
Repositories
17
 Projects Packages
2
 Public activity Starred repositories
3
Filter
Sort
hm-dev-tools
Nix 0 0
Updated 2026-04-01 16:24:18 +02:00
hm-desktop
Nix 0 0
Updated 2026-03-31 22:55:22 +02:00
heron
Lean 1 0
Linter for Lean4
lean4 linter lsp math proof-assistant
Updated 2026-03-21 14:22:24 +01:00
cpp-docs-lsp
Rust 0 0
Updated 2026-03-16 21:17:20 +01:00
jj-tutorial
Shell 0 0
Updated 2026-03-15 21:17:15 +01:00
git-to-jj
Nix 0 0
Set of AST-Grep based rules to help terminal users get used to JJ coming from Git for version control
Updated 2026-03-15 18:15:00 +01:00
hm-modules Archived
Nix 0 0
Home-manager user modules in Nix
dotfiles nix nixos
Updated 2026-03-14 22:12:17 +01:00
lean-tui
Rust 18 3
Terminal (TUI) alternative for the InfoView of the Lean4 proof assistant's VS Code Extension
lean math proofs ratatui rpc rust
Updated 2026-03-08 13:11:48 +01:00
nu-lint
Rust 10 3
Linter for the Nu shell scripting language (previously this repository was hosted on GitHub)
linter nushell rust scripting shell static-analysis
Updated 2026-03-07 11:43:35 +01:00
lean-prism
Lean 0 0
Visualizing proof and term state of Lean programs over TCP
backend editor json-schema lean lsp
Updated 2026-03-01 21:03:08 +01:00
synth-sounds
Rust 0 0
Collection of my personal generated synthetic sounds
Updated 2026-02-28 11:21:17 +01:00
nix-templates
Nushell 0 0
Help to get started quickly with a reproducible environment targeted for my favorite programming languages.
cpp nix rust
Updated 2026-02-24 21:05:02 +01:00
json-schema-to-lean
Lean 0 0
Automatically generate safe Lean types and JSON (de-)serialization based on a JSON schema file
Updated 2026-02-15 19:15:36 +01:00
backtrace-ls
Rust 1 0
Language server to see failed test assertions and back-trace frames as diagnostics in your code.
go helix javascript language-server lsp php
Updated 2026-01-24 22:12:54 +01:00
images
0 0
Updated 2026-01-15 18:58:29 +01:00