Quoteme

emoji-board

leandate

Leandate - A date and time library for Lean4

nixos

My nixos configuration

mathcraft

Minecraft written in Lean4

whisper-input

Use openai whisper to transcribe your voice into written text completely locally in one command

cutImg

A minimalist javascript library for immutably cutting images into smaller rectangular sections

quoteme.github.io

My github pages website

virtual-keyboard

Some experiments to create a virtual on-screen keyboard for Wayland using Python

bildbesucher

Ein Spiel, in welchem man als Besucher von einem Bild zum nächsten wandert

bookmarks-persistence.yazi

A Yazi plugin that Supports persistent bookmark management.No bookmarks are lost after you close yazi.

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

fplotpp

fplotpp (FunctionPlot++) is a complex function plotter using THREE.js and is available online and as an android app!

Koi

Koi - Theme scheduling for the KDE Plasma Desktop (with custom bash script execution support)

lucapanel

A simple panel for the xmonad-luca desktop experience

mathimg

Convert latex equations to SVG/PNG images

modelltheorie2lean

My notes for the module "model theory" in SoSe 2024 in lean4

nix-on-droid

My setup for nix-on-droid

nvim

My NeoVim configuration using lazyvim

prototyping

Quoteme

simple-Lean4-nix-flake

A simple Lean >4.2.0 project using only nix-flakes

skriptfetcher

A simple program to fetch the newest Modelltheorie skripts from Prof. Dr. Immanuel Halupczok's website

std4

Standard Library for Lean 4

story

Rework of WEBGLCS written more modular and all in all more sleek

Surreale-Zahlen

Ein Seminarvortrag über die surrealen Zahlen

top2manWebsiteBackground

Animated backround for my website using top2man (visualization software foa ll topological 2 manifolds)

urlvar

get URL Variables, similar to PHP's $_GET

xmonad-luca

Luca's xmonad configuration 🚀