Philipp SL Schäfer's starred repositories
activitywatch
The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.
Probabilistic_ML
Material for the "Probabilistic Machine Learning" Course at the University of Tübingen, Summer Term 2023
cs228-notes
Course notes for CS228: Probabilistic Graphical Models.
machine_learning_refined
Notes, examples, and Python demos for the 2nd edition of the textbook "Machine Learning Refined" (published by Cambridge University Press).
obsidiantools
Obsidian tools - a Python package for analysing an Obsidian.md vault
lean4-tactics
Overview of tactics in Lean 4 for beginners — longer version
lean4-cheatsheet
Printable (A4) overview of tactics in Lean 4 for beginners
leankernel
jupyter kernel foe lean
scvi-tools
Deep probabilistic analysis of single-cell and spatial omics data
Obsidian_to_Anki
Script to add flashcards from text/markdown files to Anki