GitHub repository: metastatedev/witch
Primary language: TeX
Description: like a wizard, but different and more knowledgeable. also a prototype of an effect-based system for improved UX of proof engineering.