Pinned Repositories
cookiecutter-ml
a simple project-template for model-focused machine learning projects
deeptech-ai
HaskellCalculator
Haskell Calculator for solving linear equation systems
RPlay
Java port of shairport
LeanderK's Repositories
LeanderK/cookiecutter-ml
a simple project-template for model-focused machine learning projects
LeanderK/deeptech-ai
LeanderK/HaskellCalculator
Haskell Calculator for solving linear equation systems
LeanderK/CoronaContacts
Contact Tracing and Quarantine-Supervision
LeanderK/april-tools.github.io
headquarters of the April team in Edinburgh
LeanderK/compiling-to-categories-redux
we're TRYING AGAIN with @maybevoid
LeanderK/Contingency
Deep Learning with Contingency Plans
LeanderK/ConvNeXt
Code release for ConvNeXt model
LeanderK/deepseaproblog
The official implementation of DeepSeaProbLog, a neural probabilistic logic programming language supporting discrete and continuous random variables.
LeanderK/dotfiles
my dotfiles. I had to set it up one too many times
LeanderK/Durchhaltevermoegen
Website for the "Tübingenger Durchhaltevermögen"
LeanderK/geoopt
Riemannian Adaptive Optimization Methods with pytorch optim
LeanderK/gitdir
Download a single directory/folder from a GitHub repo
LeanderK/gym
A toolkit for developing and comparing reinforcement learning algorithms.
LeanderK/icml-2022
Crowdsourcing metrics and test datasets beyond ImageNet (ICML 2022 workshop)
LeanderK/intellij-haskforce
Haskell plugin for IntelliJ IDEA Community Edition
LeanderK/ionic-conference-app
A conference app built with Ionic to demonstrate Ionic
LeanderK/IzouIRMovementSensor
LeanderK/IzouWifiPresence
LeanderK/numhask
A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
LeanderK/pandas2latex
a small but neat library to generate latex tables from pandas data
LeanderK/paper-analysis
analysis of the research output machine learning in germany
LeanderK/PDG-Theory
Repository for theory results
LeanderK/Playground
LeanderK/pytorch-cifar
95.47% on CIFAR10 with PyTorch
LeanderK/PyTorch_CIFAR10
Pretrained TorchVision models on CIFAR10 dataset (with weights)
LeanderK/scplayer
Open source client of Spotify Connect closed library developed in Java
LeanderK/spawny
LeanderK/tikzplotlib
:bar_chart: Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.
LeanderK/wmi-pa
Efficient WMI via SMT-Based Predicate Abstraction