Matěj's starred repositories
sqlalchemy-helpers
A set of helpers to integrate SQLAlchemy and Alembic in a project, with sane defaults
trpc-sveltekit-example
A sample SvelteKit application built to illustrate the usage of ✨ trpc-sveltekit.
pandapipes
A pipeflow calculation tool that complements pandapower in the simulation of multi energy grids
Verification-Tool-Overview
Information about verification tools. Browse the data at https://slebok.github.io/proverb/
merkle-tree
A verified Merkle Tree, built as a standalone project on top of EverCrypt
mcmc_diagnostics
Markov chain Monte Carlo general, and Hamiltonian Monte Carlo specific, diagnostics for Stan
universal-portfolios
Collection of algorithms for online portfolio selection
telescope.nvim
Find, Filter, Preview, Pick. All lua, all the time.
DAMMmodel.jl
Visualisation, output and fitting of the DAMM model
type-gymnastics
Collection of wonderful TypeScript type gymnastics code snippets.
ComplexHeatmap
Make Complex Heatmaps
ceres-solver
A large scale non-linear optimization library