Pinned Repositories
xrandr-rs
Safe rust bindings to xrandr (WIP)
brute-fordle
CV_transition_reduction
ghopfl
A interpreter for a guarded higher order probabilistic language (GHOPFL), based on the big-step, call-by-value semantics given in my thesis.
Himp-checker
Hoare proof checker using Z3
kea_viewer
nvidia-fanctrl
Wanna hear a bad idea? A Nvidia GPU fan controller written in Haskell.
rofi-randr
Rofi script to manage ResizeAndRotate (randr) settings on various platforms
sway-balance-workspace
Balances a sway workspace (or some subtree thereof)
xrandr-rs
Safe rust bindings to xrandr (WIP, read-only so far)
Rintse's Repositories
Rintse/sway-balance-workspace
Balances a sway workspace (or some subtree thereof)
Rintse/Himp-checker
Hoare proof checker using Z3
Rintse/kea_viewer
Rintse/nvidia-fanctrl
Wanna hear a bad idea? A Nvidia GPU fan controller written in Haskell.
Rintse/rofi-randr
Rofi script to manage ResizeAndRotate (randr) settings on various platforms
Rintse/xrandr-rs
Safe rust bindings to xrandr (WIP, read-only so far)
Rintse/brute-fordle
Rintse/CV_transition_reduction
Rintse/dps2
Rintse/fanctrl
simplest rPi GPIO fan controller i could think of
Rintse/ghopfl
A interpreter for a guarded higher order probabilistic language (GHOPFL), based on the big-step, call-by-value semantics given in my thesis.
Rintse/gim
Rintse/i3-config
Configuration for i3 wm. Contains i3, picom, polybar and rofi config files.
Rintse/dhcpd_leases_viewer
dhcpd leases web viewer
Rintse/fm_builder
Dockerfile that builds faster melee in an old ubuntu container
Rintse/mcserver_tools
Rintse/nvim-config
Neovim configuration files
Rintse/rofi-xrandr
Bash script for xrandr configuration in rofi
Rintse/sway-decouple-fullscreen
Patches to decouple the windows fullscreen state from the application state. This allows you to use a fullscreen application in a container.
Rintse/sway-resize-ppt
Rintse/swayest_workstyle
Map workspace names to icons for Sway
Rintse/transcode-sh
bash script to put into cron for automatic transcode
Rintse/vimcfg
Rintse/vimcfg-lua
NVim config for vim 5.0+ with built-in LSP support.