Pinned Repositories
Isabelle-Groebner
Isabelle/HOL formalization of advanced concepts of Groebner bases theory
mimic-code
MIMIC Code Repository: Code shared by the research community for the MIMIC family of databases
PulseDB
atsd
Austrian Highway Traffic Sign Data Set
catabra
CaTabRa is a Python package for analyzing tabular data in a largely automated way. This includes generating descriptive statistics, creating out-of-distribution detectors, training prediction models for classification and regression tasks, and evaluating/explaining/applying these models on unseen data.
dl-cv-workshop
Repository accompanying the workshop "Introduction to Deep Learning: Hands-on Workshop in Computer Vision"
amaletzk's Repositories
amaletzk/Isabelle-Groebner
Isabelle/HOL formalization of advanced concepts of Groebner bases theory