phd / thesis
PostScript 0 0

My PhD thesis.

Updated 5 days ago

tk / zen
Nix 0 0

Updated 2 weeks ago

Updated 2 weeks ago

Updated 1 month ago

Updated 7 months ago

Updated 1 year ago

phd / zixzax
Markdown 0 0

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

A framework for executable UC specifications.

Updated 2 years ago

phd / agda-vim
Vim script 0 0

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago

tk / ramen
Rust 0 0

ramen is a status bar feeder.

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago

phd / nyx
Rust 0 0

Updated 3 years ago

phd / vim-nyx
Vim script 0 0

Updated 3 years ago

Updated 3 years ago