-
DL-Learner Public
Forked from SmartDataAnalytics/DL-LearnerA tool for supervised Machine Learning in OWL and Description Logics
Java GNU General Public License v3.0 UpdatedApr 8, 2022 -
vroom Public
Forked from VROOM-Project/vroomVehicle Routing Open-source Optimization Machine
C++ BSD 2-Clause "Simplified" License UpdatedJan 30, 2022 -
egg Public
Forked from egraphs-good/eggegg is a flexible, high-performance e-graph library
Rust MIT License UpdatedNov 25, 2021 -
vroom-scripts Public
Forked from VROOM-Project/vroom-scriptsPython BSD 2-Clause "Simplified" License UpdatedJul 3, 2019 -
bar Public archive
Forked from LemonBoy/barFork of bar ain't recursive - A lightweight xcb based bar. This is a hot mess, do not use
-
bl-lecture-notes Public
Forked from sasjonge/bl-lecture-notesDies ist eine Mitschrift/Zusammenfassung zur Vorlesung "Beschreibungslogik" (SoSe2016) von Thomas Schneider an der Universität Bremen.
TeX UpdatedApr 13, 2017
{{ message }}