Matěj's starred repositories
flexsearch
Next-Generation full text search library for Browser and Node.js
cpdf-binaries
PDF Command Line Tools binaries for Linux, Mac, Windows
streamlit_prophet
Streamlit app to train, evaluate and optimize a Prophet forecasting model.
power-systems-optimization
Power systems optimization course materials
pypsa-earth
PyPSA-Earth: A flexible Python-based open optimisation model to study energy system futures around the world.
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
ProbablyOverthinkingIt
Supplementary material for my book, Probably Overthinking It.
FriendsDontLetFriends
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
openvpn-install
Set up your own OpenVPN server on Debian, Ubuntu, Fedora, CentOS or Arch Linux.
stan-survival-model-workshop
Building a Survival Model in Stan.