Erik Parmann's repositories
latex-pretty-symbols.el
Display many latex symbols as their unicode counterparts
ansible-modules-extras
Ansible extra modules - these modules ship with ansible
argo
Get stuff done with container-native workflows for Kubernetes.
ConfigArgParse
A drop-in replacement for argparse that allows options to also be set via config files and/or environment variables.
dev
Press the . key on any repo
epa095.github.io
Webpage
funKanPowCounterModel-coq
A Coq formalization of a countermodel to claim that the Kan property of simplicial sets are preserved under exponentiation constructively.
noetherian-implies-streamless
We provide two Coq proofs that noetherian implies streamless, one proof uses equality, the other is expressible withouth equality.
gordo-client
Gordo Client
gordo-components
An API-first distributed deployment system of deep learning models using timeseries data to analyze and predict systems behaviour
gordo-controller
Gordo controller
gordo-dataset
Gordo datasets and data providers
katib
Repository for hyperparameter tuning
melpa
Recipes and build machinery for the biggest Emacs package repo
MLOpsPython
MLOps using Azure ML Services and Azure DevOps
Python
All Algorithms implemented in Python
scikit-learn
scikit-learn: machine learning in Python
sphinx-action-test
Testing repo for my sphinx github action
talks
Misc talks
tempo
API for manipulating time series on top of Apache Spark: lagged time values, rolling statistics (mean, avg, sum, count, etc), AS OF joins, downsampling, and interpolation
terraform-provider-databricks
Databricks Terraform Provider