Luca Leon Happel's repositories
neovim-flake
Neovim Config with flake
nixos-godot-bin
An overlay for Godot
neovim-luca
Neovim configured to my linking using nix flakes
quoteme.github.io
My github pages website
whisper-input
Use openai whisper to transcribe your voice into written text completely locally in one command
chiral-trefoil
Show that the trefoil knot is chiral using the meridian and longitude
code-nautilus
VSCode extension for Nautilus
control_center
A flutter application to control stuff like brightness, volume, system profile and more
corsano-realm-converter
Konvertiere die .realm Dateien, welche wir von Corsano bekommen in JSON um
flutter_background_service_methodchannel
In this repository I present a minimal reproducible example of flutter_background_service being unable to call a function through a methodchanenl
flutter_wlroots
Wayland compositor embedder and library for Flutter. Built with Wlroots.
Koi
Koi - Theme scheduling for the KDE Plasma Desktop (with custom bash script execution support)
lean-surreal-numbers
A formalization in Lean of the maths from the books: "Mantova, Matusinski: Surreal Numbers with Derivation", "Conway: On Numbers and Games", "Gonshor: An introduction to the theory of surreal numbers"
maliit.github.io
fix some website errors
nvim
My NeoVim configuration using lazyvim
simple-Lean4-nix-flake
A simple Lean >4.2.0 project using only nix-flakes
Surreale-Zahlen
Ein Seminarvortrag über die surrealen Zahlen
swipeguess
nix support to run swipeguess: https://git.sr.ht/~earboxer/swipeGuess
tabletmode
Automatically swtich to tablet mode in xmonad-luca
top2manWebsiteBackground
Animated backround for my website using top2man (visualization software foa ll topological 2 manifolds)
topologie-vortrag-lean
ein Vortrag über die Sphäre, und warum diese einfach-zusammenhängend ist
xmonad-contrib
Contributed modules for xmonad (with floating window decorations)
xmonad-luca
Luca's xmonad configuration 🚀