Skip to content
View wvhulle's full-sized avatar
:atom:
“When you change the way you look at things, the things you look at change.”
:atom:
“When you change the way you look at things, the things you look at change.”

Block or report wvhulle

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. rust-course-ghent rust-course-ghent Public

    In-depth 7-week Rust course in Ghent

    Typst 4

  2. nushell nushell Public

    Forked from nushell/nushell

    Nushell with an LSP client

    Rust 4

  3. tree-sitter-lean tree-sitter-lean Public

    Forked from Julian/tree-sitter-lean

    Tree-sitter grammar for the Lean programming language

    C 2

  4. lean4 lean4 Public

    Forked from leanprover/lean4

    Lean 4 - Repackaged for Nix with a Lean LSP formatter

    Lean

  5. wvhulle.github.io wvhulle.github.io Public

    Willem Vanhulle's software blog

    HTML