Pinned Repositories
advent-of-code
Advent Of Code
dotfiles
fanorona-python
The Board Game Fanorona with Min-Max AI built in Python
ffmpeg-scripts
A collection of batch scripts that I use to automate various things I regularly do with video files
forward_ref_generic
Generically forward references for operations on Copy types
isabelle-lsp.nvim
isabelle-syn.nvim
throbber
A rust crate to display throbber animations on the terminal
tyranny-of-types-type-classes
Vinimum
Minimalistic Vim Emulation for Sublime Text
Treeniks's Repositories
Treeniks/isabelle-lsp.nvim
Treeniks/forward_ref_generic
Generically forward references for operations on Copy types
Treeniks/isabelle-syn.nvim
Treeniks/throbber
A rust crate to display throbber animations on the terminal
Treeniks/Vinimum
Minimalistic Vim Emulation for Sublime Text
Treeniks/dotfiles
Treeniks/ffmpeg-scripts
A collection of batch scripts that I use to automate various things I regularly do with video files
Treeniks/advent-of-code
Advent Of Code
Treeniks/fanorona-python
The Board Game Fanorona with Min-Max AI built in Python
Treeniks/huff_rs
Compresses files with huffman encoding
Treeniks/tyranny-of-types-type-classes
Treeniks/Hyprland
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
Treeniks/isabelle-language-server
Please refer to the Wiki: https://github.com/Treeniks/isabelle-language-server/wiki
Treeniks/rust
Empowering everyone to build reliable and efficient software.
Treeniks/zsa-voyager-layout