Skip to content
View wvhulle's full-sized avatar
5 followers · 10 following

Achievements

Achievement: Galaxy Brain
BetaSend feedback

Achievements

Achievement: Galaxy Brain
BetaSend feedback
Block or Report

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Popular repositories

  1. transport-magmas transport-magmas Public

    Applying the proof of univalence from cubical type theory to transport properties of magmas.

    Agda

  2. ctt-presentation ctt-presentation Public

    slides for master thesis presentation (45 min.)

    TeX

  3. wvhulle.github.io wvhulle.github.io Public

    Homepage of Willem Vanhulle

    Svelte 1

  4. sveltekit-bug-write-tsconfig.json sveltekit-bug-write-tsconfig.json Public archive

    JavaScript

  5. ts-node-bug-extends-parent-directory ts-node-bug-extends-parent-directory Public archive

    TypeScript

  6. sveltekit-error-page-vite-plugin sveltekit-error-page-vite-plugin Public archive

    TypeScript