Skip to content
View LLaeufer's full-sized avatar
0 followers · 1 following

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Block or report LLaeufer

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

  • Frho Public

    Forked from Proglang-Uni-Freiburg/Frho
    Rust MIT License Updated Jan 2, 2024

  • emes_template Public

    Forked from imtekalex/emes_template

    EMES Final Thesis Template

    TeX MIT License Updated Oct 30, 2023

  • ldgvnetworking Public

    Forked from proglang/ldgv

    Label dependent dependent session types

    Haskell Other Updated Jun 13, 2023

  • UsQwertz Public

    A mixture of the US Qwerty layout and the German Qwertz layout

    Shell MIT License Updated Jul 21, 2022

  • noMoreWrongRestoreForFirefox Public

    Prevents Firefox from restoring after an OS restart, if automatic restoring is disabled

    Shell MIT License Updated Jun 10, 2022

  • LocaleSetup Public

    Sets up locale.conf in a way I like it

    Shell MIT License Updated Oct 22, 2021

  • softLog Public

    Logs CPU and RAM utilization of programs running under Linux

    Python MIT License Updated Aug 11, 2021

  • alexhappy Public

    Forked from jmoy/alexhappy

    Examples for the book “Alex and Happy”

    Logos Updated May 2, 2015