Giters
Ingo Skupin (skingo)

skingo

Geek Repo

6

followers

1

following

86

stars

Github PK Tool:Github PK Tool

Ingo Skupin's repositories

algebraische_topologie

Mitschrieb algebraische Topologie III

Language:TeXStargazers:0Issues:3Issues:0

generic-haskell-shell-adapter

Language:HaskellStargazers:0Issues:2Issues:0

kernel_category

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

ripgrep

ripgrep recursively searches directories for a regex pattern

Language:RustLicense:UnlicenseStargazers:0Issues:0Issues:0

rofi

Rofi: A window switcher, application launcher and dmenu replacement

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

spaceduck

🚀 🦆 An intergalactic space theme for Vim, Terminal, and more!

Language:Vim ScriptLicense:MITStargazers:0Issues:0Issues:0

supercompilation-by-evaluation

Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

test_repo

Stargazers:0Issues:2Issues:0

tex_default_macros

Language:TeXStargazers:0Issues:2Issues:0