Pinned Repositories
complexGrapher
A simple complex function grapher/plotter that represents complex functions as a colorful 3D plane (using THREE.js)
emoji-board
img2string
A program that converts images to a series of strings that can be woven around nails to recreate the image. Like: https://youtu.be/-S_l8GGxOhU
leandate
Leandate - A date and time library for Lean4
mach-nix-template
Simple and straight-forward way to create python environments using PyPi in nix
neovim-flake
Neovim Config with flake
nixos-godot-bin
An overlay for Godot
screenrotate
A small script used to automatically change the various Laptops screen rotation
webglcs
A 2.5D CaveStory Multi-/Singleplayer game.
worldeditor
A voxel editor with support for many custom features
Quoteme's Repositories
Quoteme/emoji-board
Quoteme/leandate
Leandate - A date and time library for Lean4
Quoteme/nixos
My nixos configuration
Quoteme/mathcraft
Minecraft written in Lean4
Quoteme/whisper-input
Use openai whisper to transcribe your voice into written text completely locally in one command
Quoteme/cutImg
A minimalist javascript library for immutably cutting images into smaller rectangular sections
Quoteme/quoteme.github.io
My github pages website
Quoteme/virtual-keyboard
Some experiments to create a virtual on-screen keyboard for Wayland using Python
Quoteme/bildbesucher
Ein Spiel, in welchem man als Besucher von einem Bild zum nächsten wandert
Quoteme/bookmarks-persistence.yazi
A Yazi plugin that Supports persistent bookmark management.No bookmarks are lost after you close yazi.
Quoteme/control_center
A flutter application to control stuff like brightness, volume, system profile and more
Quoteme/corsano-realm-converter
Konvertiere die .realm Dateien, welche wir von Corsano bekommen in JSON um
Quoteme/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
Quoteme/fplotpp
fplotpp (FunctionPlot++) is a complex function plotter using THREE.js and is available online and as an android app!
Quoteme/Koi
Koi - Theme scheduling for the KDE Plasma Desktop (with custom bash script execution support)
Quoteme/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"
Quoteme/lucapanel
A simple panel for the xmonad-luca desktop experience
Quoteme/mathimg
Convert latex equations to SVG/PNG images
Quoteme/modelltheorie2lean
My notes for the module "model theory" in SoSe 2024 in lean4
Quoteme/nix-on-droid
My setup for nix-on-droid
Quoteme/nvim
My NeoVim configuration using lazyvim
Quoteme/Quoteme
Quoteme/simple-Lean4-nix-flake
A simple Lean >4.2.0 project using only nix-flakes
Quoteme/skriptfetcher
A simple program to fetch the newest Modelltheorie skripts from Prof. Dr. Immanuel Halupczok's website
Quoteme/std4
Standard Library for Lean 4
Quoteme/story
Rework of WEBGLCS written more modular and all in all more sleek
Quoteme/Surreale-Zahlen
Ein Seminarvortrag über die surrealen Zahlen
Quoteme/top2manWebsiteBackground
Animated backround for my website using top2man (visualization software foa ll topological 2 manifolds)
Quoteme/urlvar
get URL Variables, similar to PHP's $_GET
Quoteme/xmonad-luca
Luca's xmonad configuration 🚀