Popular repositories Loading

1. AoC2023 AoC2023 Public

   AoC2023 in idris2

   Idris 1

2. dots dots Public

   Shell

3. container container Public

   Forked from hedgedoc/container

   CodiMD container image ressources

   Shell

4. my-own-kind my-own-kind Public

   Forked from bashtools/mok

   Build a verifiably conformant kubernetes cluster in containers.

   Shell

5. fp-ws2122 fp-ws2122 Public template

   Forked from DBatUTuebingen-Teaching/fp-ws2122

   Vorlesung "Functional Programming" im WS 2021/22 (U Tübingen)

   Haskell

6. miryoku_kmonad miryoku_kmonad Public

   Forked from manna-harbour/miryoku_kmonad

   Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku KMonad is the Miryoku implementation for KMonad.

   C