Žiga Leber's repositories
docker-lualatex
Minimal-ish base image for running lualatex
metropolis-UM-LPM
Metropolis theme with modified colors to fit the university color scheme.
.emacs.d
My emacs config
bibtool
BibTool is a tool for manipulating BibTeX data bases. BibTeX provides a mean to integrate citations into LaTeX documents. BibTool allows the manipulation of BibTeX files which goes beyond the possibilities -- and intentions -- of BibTeX.
brokenpylons.github.io
My personal web page
canonicalrecipes
Canonical recipe site
docker-lualatex-build
Image for lualatex builds with all bells and whistles
FP-notes
Functional programming notes
limpid
Toy programming language aimed at education
mkpaper
Latex project generator
nixos
System configuration
plbib
Curated bibliography database
plfa.github.io
Introduction to programming language theory in Agda
polybar-scripts
This is a community project. We write and collect scripts for polybar!
programming2
Zapiski
travis-docker
Travis file for docker images
vim-browser-reload-linux
vim plugin to reload your browser, Linux version
vim-reloaded
Live reload for Vim and Neovim using Chrome DevTools protocol