Stars
Lean 4 programming language and theorem prover
A Minecraft Mod focused on adding fun and simple weapons wtih lots of customisation including attachments and more!
A multiplayer RPG Discord bot, where you play as a god.
yuptude is a tiny bookmarklet that you can use to speed up or slow down videos in your browser.
Flutter makes it easy and fast to build beautiful apps for mobile and beyond
Figure out which cards to keep and which to crib against the statistically best AI
A universal forum currency for the Art of Problem Solving website.