Tulip Amalie's starred repositories
i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
clipboardy
Access the system clipboard (copy/paste)
linx-server
Self-hosted file/code/media sharing website.
proton-bridge
Proton Mail Bridge application
pronoun.is
Show people how to use pronouns!
xdg-desktop-portal-wlr
xdg-desktop-portal backend for wlroots
natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
mpd-notification
Notify about tracks played by mpd
real-number-game
A gamification of the theorems in MATH40002 Analysis 1
mpd-notify-hs
Gives a notification on song change, changes wallpaper to album cover and more!