Hi all! 
After 5 years of using Scala, I finally summoned the courage to put myself out there!
Here’s my library: GitHub - spamegg1/tarski: Tarski's world
It’s an interactive educational tool for logic to be used in an IDE.
You create the world and the formulas in your IDE, then run it, then change or move the blocks around to satisfy the formulas, make them all true.
Here is a low quality animated GIF (better video on Github page):
The Github page has more details.
I also blogged about its development.
It does not look very pretty, and it is a bit clunky, but it does the job.
It’s an early version (0.1.1 at the moment), so expect lack of features and some bugs!
It was inspired by a textbook and tool.
The tool itself dates back to the 1990s, it was a desktop app for Macintosh.
I wanted to re-create a simpler version of it from scratch to adapt it to my own purposes,
and so that it’s not behind an account/log-in or a paywall.
It’s a small but important milestone in my grand plan to create my own curriculum one day!
I’m planning to create exercises for it in the future.
I hope you like it!
Spam