TimenZan

Netherlands

Pinned Repositories

brp-agda-refactoring-timenzandberge
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Language:Agda0 4 00
Apprentice
A dark, low-contrast, Vim colorscheme.
Language:HTML0 0 00
dotfiles
This is a mirror of the gitlab repository
Language:Lua3 4 00
my-snippets
Language:Vim Snippet0 1 00
pkl-neovim
Pkl language support for Neovim
Language:Scheme00
sttp-book
The "Software Testing: From Theory to Practice" book (source)
Language:Shell0 0 00
targets.vim
Vim plugin that provides additional text objects
Language:Vim Script00
TimenZan.github.io
0 1 00

TimenZan's Repositories

TimenZan/dotfiles
This is a mirror of the gitlab repository
Language:Lua3 4 00
TimenZan/Apprentice
A dark, low-contrast, Vim colorscheme.
Language:HTML0 0 00
TimenZan/my-snippets
Language:Vim Snippet0 1 00
TimenZan/pkl-neovim
Pkl language support for Neovim
Language:Scheme00
TimenZan/sttp-book
The "Software Testing: From Theory to Practice" book (source)
Language:Shell0 0 00
TimenZan/targets.vim
Vim plugin that provides additional text objects
Language:Vim Script00
TimenZan/TimenZan.github.io
0 1 00
TimenZan/vim-concealer
Language:Vim script00