Stars
The board game Sequencium with local and online multiplayer.
Lean 3's obsolete mathematical components library: please use mathlib4
A free and opensource platform for studying the artificial language Lojban.
⚡ Native, high-performance, cross-platform desktop apps - built with Reason!
A fast and clever hex editor for macOS
Google addon that replaces contractions with their non-contracted form.
Parser for producing symbolic math ASTs
Step by step math solutions for everyone