Stars
C2PA Chrome Extension
A modern commutative diagram editor for the web.
A simple visual editor for creating commutative diagrams.
A fully featured React components library
Voice Resources by Voice Art Project and others
Visualize, query, and stream to train on multimodal robotics data.
relation-graph is an relationship graph component for React/Vue/Svelte relationship data visualization/edit. Through its slot-based customization model, users can fully customize graph elements wit…
Cat follow mouse real! A 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