Stars
Cat follow mouse real! A hacky script I wrote to put a cat on my site.
a lovely pride flag for the web! 🏳️🌈🏳️⚧️💖
Lean theorem proving interface which feels like pen-and-paper proofs.
A smarter cd command. Supports all major shells.
shiroa is a simple tool for creating modern online books in pure typst.
An easy to use Firefox and Chrome plugin to automatically remove and replace deadnames
Official Trans*DB website - Search & filter for transgender healthcare in Germany
Build Notion-like, Craft-like, Coda-like, Medium-like editors with Yoopta
A non-exhaustive list of details that make a good web interface.
Open Overleaf/ShareLaTex projects in vscode, with full collaboration support.
An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that foun…
Experimental natural theorem prover with a controlled natural language as input language and proof automation powered by automated theorem provers
Create and manage online registrations. Design your own registration layout and manage bookings
Auto-detect the connected display hardware and load the appropriate X11 setup using xrandr
mypy static type checking for python
A Python package implementing a new interpretable machine learning model for text classification (with visualization tools for Explainable AI )
⚡ A Fast, Extensible Progress Bar for Python and CLI
Compares the DistilBERT and MobileBERT architectures for mobile deployments.