A Playdate port of the Pyweek classic
an experimental forester forest with a proof assistant bolted on
the next generation of the in-browser educational proof assistant
A TextMate Bundle for Forester
My theme for forester (+plugins)
my forest
the hito embeddable programming language