Popular repositories Loading

1. UsQwertz UsQwertz Public

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

   Shell

2. LocaleSetup LocaleSetup Public

   Sets up locale.conf in a way I like it

   Shell

3. ldgvnetworking ldgvnetworking Public

   Forked from proglang/ldgv

   Label dependent dependent session types

   Haskell

4. alexhappy alexhappy Public

   Forked from jmoy/alexhappy

   Examples for the book “Alex and Happy”

   Logos

5. emes_template emes_template Public

   Forked from imtekalex/emes_template

   EMES Final Thesis Template

   TeX

6. Frho Frho Public

   Forked from Proglang-Uni-Freiburg/Frho

   Rust