Giters
mfunk (krypt-n)

krypt-n

Geek Repo

14

followers

5

following

10

stars

Github PK Tool:Github PK Tool

mfunk's repositories

bar

Fork of bar ain't recursive - A lightweight xcb based bar. This is a hot mess, do not use

Language:CLicense:MITStargazers:174Issues:12Issues:26

bl-lecture-notes

Dies ist eine Mitschrift/Zusammenfassung zur Vorlesung "Beschreibungslogik" (SoSe2016) von Thomas Schneider an der Universität Bremen.

Language:TeXStargazers:0Issues:1Issues:0

DL-Learner

A tool for supervised Machine Learning in OWL and Description Logics

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

egg

egg is a flexible, high-performance e-graph library

Language:RustLicense:MITStargazers:0Issues:0Issues:0

vroom

Vehicle Routing Open-source Optimization Machine

Language:C++License:BSD-2-ClauseStargazers:0Issues:1Issues:0

vroom-scripts

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0