Skip to content
Avatar
11 followers · 8 following
  • Belgium

Sponsoring

@xmonad

Achievements

Achievement: Public SponsorAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Public SponsorAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report covert8

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.

Add an optional note:
Report abuse

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

Report abuse

Popular repositories

  1. wijsbegeerte Public

    Forked from warreee/wijsbegeerte

    TeX

  2. kuleuven-cs.github.io Public

    Forked from warreee/kuleuven-cs.github.io

    Organization Page

    CSS 1

  3. haskell Public

    Forked from warreee/haskell

    The Haskell road to Logic, Maths and programming excercise

    Haskell

  4. AaC-Exc Public

    Forked from warreee/AaC-Exc

    Excercise sessions of "Automata and Computability" (G0P84A).

    TeX

  5. Algorithm-Implementations Public

    Forked from warreee/Algorithm-Implementations

    Share, discuss and improve algorithm implementations!

    Lua

  6. all-you-can-carry Public

    Forked from NorfairKing/all-you-can-carry

    Een verzameling van nuttige documenten voor het examen van numerieke wiskunde.

    TeX

116 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

October 2022

Created 1 repository

Created a pull request in OSC/ondemand that received 3 comments

Myjobs: Add ENV override for showing job array

Hi, We are exploring ondemand at Kuleuven and we would like to not show the job array in the myjobs app due to a competing implementation. This pr …

+11 −4 • 3 comments
Opened 1 other pull request in 1 repository
OSC/ood-documentation 1 open

Seeing something unexpected? Take a look at the GitHub profile guide.