krypt-n

person, (sometimes) doing stuff

Pinned Repositories

bar
Fork of bar ain't recursive - A lightweight xcb based bar. This is a hot mess, do not use
Language:C174 12 2646
bl-lecture-notes
Dies ist eine Mitschrift/Zusammenfassung zur Vorlesung "Beschreibungslogik" (SoSe2016) von Thomas Schneider an der Universität Bremen.
Language:TeX0 1 00
DL-Learner
A tool for supervised Machine Learning in OWL and Description Logics
Language:Java0 0 00
egg
egg is a flexible, high-performance e-graph library
Language:Rust0 0 00
vroom
Vehicle Routing Open-source Optimization Machine
Language:C++0 1 00

krypt-n's Repositories

krypt-n/bar
Fork of bar ain't recursive - A lightweight xcb based bar. This is a hot mess, do not use
Language:C174 12 2646
krypt-n/bl-lecture-notes
Dies ist eine Mitschrift/Zusammenfassung zur Vorlesung "Beschreibungslogik" (SoSe2016) von Thomas Schneider an der Universität Bremen.
Language:TeX0 1 00
krypt-n/DL-Learner
A tool for supervised Machine Learning in OWL and Description Logics
Language:Java0 0 00
krypt-n/egg
egg is a flexible, high-performance e-graph library
Language:Rust0 0 00
krypt-n/vroom
Vehicle Routing Open-source Optimization Machine
Language:C++0 1 00
krypt-n/vroom-scripts
Language:Python0 0