Predicator is a web app to aid in the creation of Natural Deduction proofs. I created it for my own purposes, to replace the tool that my university uses by default. I have shared it with others, who have found success in its use!
It has several "limitations" that aid in understanding of ND proofs, such as enforcing a tree-like approach to statement creation, and disallowing left-right tabbing which can obfuscate the structure of a given statement.
You'll learn if you like it or not!
It was written in pure HTML and JS, was my first attempt at doing so, and follows very few best practices as a result. It is far overdue a rewrite, most likely in React or something fancy like that, but functions excellently as it is.
The Citadel Paint Tool was the culmination of a large history project into the namings of paints from the Citadel range.
For various reasons, each paint colour is named after a character, place, or other concept from one of the many Warhammer franchises. Researching these names proved an excellent introduction into the setting as a whole for me, and I wished to streamline that experience for others.
It was a fun research project, but was created incredibly naively. It is also due a rewrite with a better data format.
It is also slightly out of date, but does feature several hundred completed entries - including some paints that are extremely hard to find details for elsewhere.
Lethologica is a website developed by me and a team of five other rockstars for a university project.
It's a simple application: put in a word's meaning, and it will try it's best to find words similar to your definition.
It's powered by SemaDB and Transformer LLMs, and should be small and cheap enough to run until the end of time.