Popular repositories Loading

1. clingo-ts-mode.el clingo-ts-mode.el Public

   A tree-sitter powered major mode for the input language of the answer set solver clingo.

   Emacs Lisp 1

2. project-krr-telingo project-krr-telingo Public template

   Python

3. qmk_firmware qmk_firmware Public

   Forked from qmk/qmk_firmware

   Open-source keyboard firmware for Atmel AVR and Arm USB families

   C

4. krr-bibliography krr-bibliography Public

   Forked from krr-up/bibliography

   📚 BibTeX bibliography files of all papers referenced by the group

   TeX

5. my-msc-thesis my-msc-thesis Public

   My master's thesis on metaprogramming and temporal ASP.

   TeX

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