Skip to content
Avatar
☕
pure coffee >>= produceCode
☕
pure coffee >>= produceCode
8 followers · 0 following · 25
  • Munich, Germany

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@xmonad
Block or Report

Block or report TheMC47

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.

Report abuse

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

Report abuse

Pinned Loading

  1. xmonad/xmonad-contrib Public

    Contributed modules for xmonad

    Haskell 431 241

  2. xmonad/xmonad Public

    The core of xmonad, a small but functional ICCCM-compliant tiling window manager

    Haskell 2.2k 237

  3. isabelle-prover/isabelle-linter Public

    Linter component for Isabelle.

    Scala 3 2

  4. bachelor-thesis-isabelle-linter Public archive

    A Linter for Isabelle. Developed for my bachelor's thesis at the Chair For Logic and Verification at the Technical University of Munich

    Scala 3

  5. advent-of-code-haskell Public

    Haskell

755 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to TheMC47/bachelor-thesis-isabelle-linter, xmonad/xmonad-contrib, TheMC47/dotfiles and 5 other repositories
Loading

Contribution activity

December 2021

Created 31 commits in 3 repositories
19 contributions in private repositories Dec 1 – Dec 6
Loading

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