Pinned Repositories
ciphersuite.info
A searchable directory of TLS ciphersuites and related security details.
dotfiles
hanbaiki.fyi
haskell-dijkstra
Various Haskell implementations of Dijkstra's single source shortest path algorithm.
hcrudolph.com
master
Master Thesis "Formal Verification of the 5G Inter-operator Signaling Protocol"
proverif-prins
hcrudolph's Repositories
hcrudolph/ciphersuite.info
A searchable directory of TLS ciphersuites and related security details.
hcrudolph/haskell-dijkstra
Various Haskell implementations of Dijkstra's single source shortest path algorithm.
hcrudolph/dotfiles
hcrudolph/hanbaiki.fyi
hcrudolph/hcrudolph.com
hcrudolph/hugo-PaperMod
A fast, clean, responsive Hugo theme.
hcrudolph/master
Master Thesis "Formal Verification of the 5G Inter-operator Signaling Protocol"
hcrudolph/proverif-prins
hcrudolph/csi-bootstrap-theme
Bootstrap theme for ciphersuite.info
hcrudolph/lanyon
A content-first, sliding sidebar theme for Jekyll.
hcrudolph/long-haul
A minimal, type-focused Jekyll theme.
hcrudolph/oklab-parallel
Vortrag zu paralleler Programmierung in Haskell und C++ im OkLab Leipzig
hcrudolph/wowchemy-academic
personal website