Skip to content
View pleich's full-sized avatar
🏍️
🏍️
3 followers · 7 following

Achievements

Achievement: YOLOAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Block or report pleich

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
pleich/README.md

Hi there 👋

CS student with a special interest in

  • Distributed Systems and Cloud Systems
  • Formal Methods

Popular repositories Loading

  1. RustTyC RustTyC Public archive

    Forked from Schwenger/RustTyC

    An interface for writing a RustTypeChecker.

    Rust

  2. Cutoffs-for-Broadcast-Protocols Cutoffs-for-Broadcast-Protocols Public

    Data & Program for Cutoffs for Broadcast Protocols: Experimental and Theoretical Results

  3. pleich pleich Public

    My profile

  4. linux-deej linux-deej Public

    Forked from omriharel/deej

    Set your linux app volumes with real sliders and control your input / output devices using buttons !

    Go