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 is supported. This note will only be visible to 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 5

  2. nushell nushell Public

    Forked from nushell/nushell

    Nushell with an LSP client

    Rust 5

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

    Forked from Julian/tree-sitter-lean

    Tree-sitter grammar for the Lean programming language

    C 4 1

  4. pretty-lean pretty-lean Public

    Forked from leanprover/lean4

    Lean 4, but with a built-in formatter, prettier pretty printing and build failures

    Lean

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

    Willem Vanhulle's software blog

    HTML