Hello and thank you for visiting our page!

My name is Christopher, and I'm a university researcher in mathematics. For years, my work has lived in the world of abstract theory and formal systems under my academic account, @1337777. While powerful, this work was like ffmpeg—a highly capable but low-level engine, accessible only to specialists.

I created the @hotdocx organization to change that.

Our mission is to build the OBS Studio for research—to take the powerful formal engines from academia and wrap them in beautiful, accessible, and collaborative open-source applications that anyone can use.

We are building an ecosystem of tools that transforms the very nature of how research is shared, understood, and created. We believe a research paper shouldn't be a static PDF, but a live, interactive playground.

What You're Supporting

Your sponsorship directly fuels the development of our interconnected, open-source projects:

• hotdocX and hotdocx.github.io: The Interactive Paper Platform. This is our flagship project. hotdocX is an AI-powered marketplace where anyone can upload a research paper (PDF, LaTeX), and our platform automatically generates an interactive web application from it. It turns static documents into live demos, fostering community, collaboration, and discovery.

• emdash: The Formal Engine. This is the powerhouse under the hood. emdash is a novel, dependently-typed logical framework designed for computational category theory. It provides the formal verification and computational rigor that makes hotdocX possible, ensuring that the interactive experiences are not just flashy, but sound.

• arrowgram: A Practical Tool for the Community. As a direct result of our work, we've released arrowgram—a simple but powerful React component for rendering complex mathematical diagrams from a simple JSON spec. It's a concrete example of our philosophy: take a complex academic need and build an easy-to-use tool for it.

Why Your Sponsorship Matters

As an independent, open-source initiative, your support is critical. Sponsorship allows us to dedicate more time to development, maintain our infrastructure, and grow our community. It helps us keep these powerful tools free and accessible to researchers, students, and creators worldwide.

By sponsoring us, you're not just supporting a software project; you are investing in a new vision for scientific communication—one that is more open, interactive, and collaborative.

Thank you for considering supporting our work. Together, we can build the future of research.