L. Läufer LLaeufer

Popular repositories Loading

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

   Shell

2. Sets up locale.conf in a way I like it

   Shell

3. Forked from proglang/ldgv

   Label dependent dependent session types

   Haskell

4. Forked from jmoy/alexhappy

   Examples for the book “Alex and Happy”

   Logos