LectiOwO
Coming soon. Curriculum + practice tracking for autodidacts. A gentle structure for self-teaching and iterative mastery.
logica lumina
An umbrella for luminous logic: learning tools, promptcraft, and proof-powered play.
Vision: “Illuminating the logical cosmos through play, self-initiation, and symbolic systems.”
Runeweave
Coming soon. Promptcraft workbench. Compose, test, and refine prompts as reusable spells—with structure and versioning.
Theorem Hearts
Coming soon. A proof-powered magical game: logic as spellcasting, formal systems as enchantment, learning as adventure.
LittleFaith
Coming soon. A compact library engine and Bible software. Blending desktop-first usability with web-friendly technologies.
Verbum
Coming soon. A unified Minecraft modpack architecture. Treating world-simulation like architecture: measured, coherent, and built to last.
Facet
Coming soon. A poppy, modular Lean4 client. Tactic states as cards, proofs as battles, and a UI that transforms with you.