Skip to content
View ProfessionalMenace's full-sized avatar
🎯
Focusing
🎯
Focusing
9 followers · 19 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report ProfessionalMenace

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 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
ProfessionalMenace/README.md

Professional Menace

  • Aspiring mathematician
  • Developer
  • Functional programming devotee
  • Formal verification fanatic
  • Category theory hobbyist
  • Linux enthusiast
  • I use NixOS btw
  • LLVM contributor
  • Gödel's incompleteness enjoyer
  • Catboy
  • \succcurlyeq \hat{\bullet} \omega \hat{\bullet} \preccurlyeq

Pinned Loading

  1. YABI YABI Public

    Yet another brainfuck interpreter

    C++ 1

  2. LEAN LEAN Public

    My LEAN Obsession

    Lean

  3. llvm-project llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    LLVM

  4. wiki wiki Public

    Forked from TCCPP/wiki

    tccpp.wiki website

    Vue

  5. Articles Articles Public

    articles I wrote