TheMC47

Follow

☕

pure coffee >>= produceCode

Yecine Megdiche TheMC47

☕

pure coffee >>= produceCode

Follow

An Informatics student at the Technical University of Munich who likes functional programming

12 followers · 1 following

Munich, Germany

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report TheMC47

Report abuse

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

Report abuse

Pinned

xmonad/xmonad-contrib Public

Contributed modules for xmonad

Haskell 521 263
xmonad/xmonad Public

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

Haskell 2.9k 279
isabelle-prover/isabelle-linter Public

Linter component for Isabelle.

Scala 11 2
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
advent-of-code-haskell Public

Haskell

437 contributions in the last year

Learn how we count contributions

Activity overview

Contributed to xmonad/xmonad-contrib, TheMC47/dotfiles, predium/prisma-faker-generator and 6 other repositories

Contribution activity

April 1, 2023

TheMC47 has no activity yet for this period.