Carl-Ferdinand Oliver's starred repositories
LaTeX-Workshop
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
personal-website
Code that'll help you kickstart a personal website that showcases your work as a software developer.
dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
awesome-typst
Awesome Typst Links
blur-my-shell
Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview
gnome-shell-pano
Next-gen Clipboard Manager for Gnome Shell
wayland-rs
Rust implementation of the wayland protocol (client and server).
typst-preview
[DEPRECATED] Use tinymist instead
astra-monitor
Resource Monitor for GNOME shell
binary-clock-wallpaper
A python script to generate wallpaper that shows time in binary.