Philipp G. Haselwarter's repositories
autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
clutch
A probabilistic relational separation logic with support for asynchronous couplings.
hacspec
A specification language for cryptography primitives.
HoTT-Intro
An introductory course to Homotopy Type Theory
jasmin
Jasmin compiler
pdf-continuous-scroll-mode.el
A minor mode for Emacs that implements a two-buffer hack to provide continuous scrolling in pdf-tools
pdf-tools
Emacs support library for PDF files.
programiranje-1
Gradiva s predavanj pri predmetu Programiranje 1, 2. letnik matematike, FMF
spartan-type-theory
Spartan type theory
texpresso
TeXpresso: live rendering and error reporting for LaTeX
Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
zsh-tmux-auto-title
ZSH plugin for tmux that automatically sets the title of windows/panes as the current foreground command.