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 2

2. tree-sitter-clingo tree-sitter-clingo Public

   Forked from potassco/tree-sitter-clingo

   🌳 Clingo grammar for tree-sitter

   JavaScript 1

3. project-krr-telingo project-krr-telingo Public template

   Python

4. qmk_firmware qmk_firmware Public

   Forked from qmk/qmk_firmware

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

   C

5. krr-bibliography krr-bibliography Public

   Forked from krr-up/bibliography

   📚 BibTeX bibliography files of all papers referenced by the group

   TeX

6. my-msc-thesis my-msc-thesis Public

   My master's thesis on metaprogramming and temporal ASP.

   TeX