silentstormm

emojify

Turns your code into an illegible mess of emojis

agda

Agda is a dependently typed programming language / interactive theorem prover.

bucket

Obsidian plugin to keep track of stuff you want to remember

cbc-type-checker

A Correct-by-construction type checker implemented in Agda

indie-stack

Simplified version of Remix's Indie Stack

pichess

react-spring

✌️ A spring physics based React animation library

remix

Build Better Websites. Create modern, resilient user experiences with web fundamentals.

spark

A brilliant Terraria mod

timely

An app to help you structure your day