Pinned Repositories
Bibata_RGB_Cursor
Create your own Bibata Cursors
dotfiles
emacs.d
My emacs setup
rubiks
Cheatsheet for solving a Rubik's Cube
svlog
Display, filter and follow socklog log files on Void Linux.
typst-letter-template
Extendable typst letter template with some standardized defaults.
void-packages
The Void source packages collection - including my packages
void-templates
VoteLog
A webapp to keep track of votes and see who agrees with me
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
pascal-huber's Repositories
pascal-huber/typst-letter-template
Extendable typst letter template with some standardized defaults.
pascal-huber/svlog
Display, filter and follow socklog log files on Void Linux.
pascal-huber/emacs.d
My emacs setup
pascal-huber/dotfiles
pascal-huber/void-templates
pascal-huber/doom.d
My Doom Emacs Configuration
pascal-huber/forbidden-advantage
ZMK configuration for hand-wired Kinesis Advantage 2
pascal-huber/resolved_static
My homepage
pascal-huber/svlog-bash
Display, filter and follow socklog log files on Void Linux.
pascal-huber/VoteLog
A webapp to keep track of votes and see who agrees with me
pascal-huber/rubiks
Cheatsheet for solving a Rubik's Cube
pascal-huber/virtual-asdf-fish
pascal-huber/void-packages
The Void source packages collection - including my packages
pascal-huber/aap-test-image
pascal-huber/aap-test-projects
pascal-huber/ansible-automation-platform-execution-environments
test repo for ansible automation platform execution environments
pascal-huber/ansible-tower-samples
Ansible Tower Playbook Samples
pascal-huber/asdfasdfasdf
pascal-huber/awesome-typst
Awesome Typst Links
pascal-huber/emacs-which-key
Emacs package that displays available keybindings in popup
pascal-huber/fish-shell
The user-friendly command line shell.
pascal-huber/keymap-34
pascal-huber/ohje
test keyboard 2x2
pascal-huber/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
pascal-huber/prusti-test-crater-docker
Docker container for Prusti's test-crater
pascal-huber/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
pascal-huber/splunk-platform-automator
Ansible framework providing a fast and simple way to spin up complex Splunk environments.
pascal-huber/splunk-platform-automator-inventory
Test inventory for splunk-platform-automator
pascal-huber/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
pascal-huber/xtools
a few helpers for working with XBPS