Garmelon/PFERD
Programm zum Flotten, Einfachen Runterladen von Dateien
Repositories
Garmelon/mathlib-ci
Scripts and utilities to support the mathlib repository's CI/CD operations
Garmelon/eufs
FUSE-based euphoria client (mirror of https://git.plugh.de/Garmelon/eufs)
Garmelon/vault
Rust library for interacting with a SQLite database from multiple threads (mirror of https://git.plugh.de/Garmelon/vault)
Garmelon/toss
Rust terminal drawing library (mirror of https://git.plugh.de/Garmelon/toss)
Garmelon/cove
TUI client for euphoria.leet.nu, a threaded real-time chat platform
Garmelon/euphoxide
Euphoria API bindings for Rust (mirror of https://git.plugh.de/Garmelon/euphoxide)
Garmelon/iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Garmelon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Garmelon/lean4
Lean 4 programming language and theorem prover
Garmelon/pasch
Python-based Arch System Config Helper (mirror of https://git.plugh.de/Garmelon/pasch)
Garmelon/test-upstream
Garmelon/test-downstream
Garmelon/test-ci
Experiment with github actions
Garmelon/presentations
lean-related presentations
Garmelon/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Garmelon/el
Write HTML as Rust data structures (mirror of https://git.plugh.de/Garmelon/el)
Garmelon/whiteprint
Experimental leanblueprint in typst (mirror of https://git.plugh.de/Garmelon/whiteprint)
Garmelon/yaboli
Yet Another (Python) Bot Library for euphoria (mirror of https://git.plugh.de/Garmelon/yaboli)
Garmelon/wot
Your-world-of-text TUI clone (mirror of https://git.plugh.de/Garmelon/wot)
Garmelon/wikilyze
Analyze wikipedia dumps (mirror of https://git.plugh.de/Garmelon/wikilyze)
Garmelon/Trumpotron
Markov'd Trump speeches in C++ (mirror of https://git.plugh.de/Garmelon/trumpotron)
Garmelon/Trumpinator
Markov'd Trump speeches in Python (mirror of https://git.plugh.de/Garmelon/trumpinator)
Garmelon/today
Fancy terminal-based personal calendar and task tracker (mirror of https://git.plugh.de/Garmelon/today)
Garmelon/tauri-test-app
Test setup with rust cli, tauri desktop and mobile app (mirror of https://git.plugh.de/Garmelon/tauri-test-app)
Garmelon/polly-b-gone
A physics platform game about a plucky wheeled robot named Polly (mirror of https://git.plugh.de/Garmelon/polly-b-gone)
Garmelon/task-machine
A todo file program inspired by when, the calendar (mirror of https://git.plugh.de/Garmelon/task-machine)
Garmelon/tada
A language based on lua-like tables with lots of syntactic sugar (mirror of https://git.plugh.de/Garmelon/tada)
Garmelon/tablejohn
Velcom 2.0 written in Rust (mirror of https://git.plugh.de/Garmelon/tablejohn)
Garmelon/showbits
Typst-powered thermal printer (mirror of https://git.plugh.de/Garmelon/showbits)