Willem Vanhulle wvhulle

3 followers · 2 following

• RSS feed
• Atom feed
• SSH keys
• GPG keys

• Belgium
• https://www.willemvanhulle.tech

• Mathematician, computer scientist and distributed systems programmer.

  Switching away from GitHub (old profile: https://github.com/wvhulle)

• Joined on 2025-09-29

Repositories

9

Projects Packages

2

Public activity Starred repositories

3

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

lean-prism

Lean 0 0

Visualizing proof and term state of Lean programs over TCP

backend editor json-schema lean lsp

Updated 2026-02-17 13:43:34 +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-15 19:24:35 +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

lean-tui

Rust 7 1

Terminal (TUI) alternative for the InfoView of the Lean4 proof assistant's VS Code Extension

lean math proofs ratatui rpc rust

Updated 2026-02-14 19:39:37 +01:00

nu-lint

Rust 8 3

Linter for the Nu shell scripting language (previously this repository was hosted on GitHub)

linter nushell rust scripting shell static-analysis

Updated 2026-02-05 20:03:33 +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

examples

Dockerfile 0 0

Exemplary Woodpecker pipelines

Updated 2026-01-15 16:52:18 +01:00

libfprint

C 0 0

Updated 2025-12-26 20:57:07 +01:00