Pinned Repositories
duo-lang
Duo - A research language exploring duality in programming language design
algebraische_topologie
Mitschrieb algebraische Topologie III
generic-haskell-shell-adapter
kernel_category
ripgrep
ripgrep recursively searches directories for a regex pattern
rofi
Rofi: A window switcher, application launcher and dmenu replacement
spaceduck
🚀 🦆 An intergalactic space theme for Vim, Terminal, and more!
supercompilation-by-evaluation
Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.
test_repo
tex_default_macros
skingo's Repositories
skingo/algebraische_topologie
Mitschrieb algebraische Topologie III
skingo/generic-haskell-shell-adapter
skingo/kernel_category
skingo/ripgrep
ripgrep recursively searches directories for a regex pattern
skingo/rofi
Rofi: A window switcher, application launcher and dmenu replacement
skingo/spaceduck
🚀 🦆 An intergalactic space theme for Vim, Terminal, and more!
skingo/supercompilation-by-evaluation
Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.
skingo/test_repo
skingo/tex_default_macros