Skip to content
View Temperz87's full-sized avatar
💀
:P
💀
:P

Block or report Temperz87

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Temperz87/README.md

About me 🎷🐛

  • 🎓 Masters in Computer Science
  • 🤓 Avid PL enthusiast and compiler lover
  • 📝 Developing ShuLang (my compiled programming language) in my spare time
  • 🎉 Deduce and LLVM contributor
  • 🎮 Creator of a couple video game mods
  • 🏆 Finishing Outer Wilds (only have Echo's of the Eye left!)
  • 🎹 Piano player and Franz Liszt enjoyer

Pinned Loading

  1. ShuLangShuLangPublic

    Peak programming language design utilizing LLVM

    LLVM 1 1

  2. llvm/llvm-projectllvm/llvm-projectPublic

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

    LLVM 39.9k 18.3k

  3. jsiek/deducejsiek/deducePublic

    A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

    Python 125 12

  4. ultra-mod-managerultra-mod-managerPublic archive

    A WIP mod manager for ULTRAKILL, that works with BepInEx and UKMods

    C# 26 22

  5. Ultrakill-Custom-Arms-Proof-Of-ConceptUltrakill-Custom-Arms-Proof-Of-ConceptPublic

    Adds custom arms to Ultrakill, togglable with G while cheats are enabled

    C# 8 3

  6. VTOLVR-MultiplayerVTOLVR-MultiplayerPublic archive

    The multiplayer mod repository. The multiplayer is currently separate from the mod loader its self but once it is in a better state, it will be merged in with the mod loader.

    C# 8 7