Comment by MarceColl

Finishing up the last touches to release: https://getkatari.app/ my japanese immersion app

Also working on https://www.kinoko.sh/. An agentic engineering platform built from the ground up for agents. Custom language and architecture and a layer of formal verification on top. Also working on a custom inference engine that produces well typed programs