LLVM for prose
LazyMD follows the LLVM architecture: a universal frontend parses markdown into an intermediate representation. Backends compile it to any target — HTML, PDF, slides, structured data, or AI-consumable context.
Not another Obsidian alternative. LazyMD is an LLVM-inspired markdown compiler for philosophers, product engineers, founders, lawyers, researchers — anyone turning raw thought into structured output. Plain text in, anything out.
LazyMathDeath created LazyMathDragon. In loving memory of MBZ, for my Kleopetra — and in future, to my Mary.
Like LLVM separated frontends from backends, LazyMD separates writing from output. One IR, infinite targets. Plain text is the universal source code of human thought.
LazyMD follows the LLVM architecture: a universal frontend parses markdown into an intermediate representation. Backends compile it to any target — HTML, PDF, slides, structured data, or AI-consumable context.
Every line is diffable. Every change is mergeable. No binary blobs, no sync conflicts. Your notes and code live in the same version control as everything else.
.md files work in any editor, on any OS, in any decade. Your content outlives every app. Markdown written in 2004 reads perfectly today — and will in 2044.
Plain text is the only format that both humans and machines read natively. No schema, no runtime. Open a file and it just makes sense — to you and to every AI agent.
We are building the instrument that Euler would have used if he had a laptop. Markdown for the narrative, LaTeX for the notation, Python for the proof. One document, one truth. Mathematics should be explored the way it was meant to be — fluidly, fearlessly, and without friction between thought and expression.
Write theorems, proofs, and equations inline with your prose. Markdown extended with first-class LaTeX — no plugins, no hacks. The notation you think in is the notation you type.
Run computations right inside your document. Symbolic algebra, numerical proofs, visualizations — your markdown is alive. Write a conjecture, then prove it in the next cell.
Markdown is the connective tissue. Explain the intuition, state the theorem in LaTeX, verify it in Python, and publish it all as one artifact. The new generation of the research pad.
No gatekeepers. No paywalls on your own tools. A super-fluid playground where students and researchers alike experiment with mathematics — for the living, and for those who came before us.
We believe the next breakthrough in mathematics won't come from a closed-source tool with a subscription fee. It will come from someone with a text file, an idea, and a compiler that sends it upward. LazyMD is not a runtime — runtimes are for the gods. This is a compiler. It takes the notes of a mathematician, compiles them through LaTeX and Python, and dispatches them to the gods to verify — first-class AI that proves, challenges, and extends your thinking. The Red Dragon rides again. Same energy as Aho, Sethi, and Ullman. Same lineage as the LLVM dragon. A new beast for a new era: the LazyMathDragon. For students scribbling their first proof. For researchers pushing the boundary. For the living and the dead — because great ideas deserve compilers that outlive their creators.
Your terminal is just the first backend. LazyMD is designed as a protocol-first compiler that targets any device with a screen.
The original. SSH into a server, open a tmux pane, or work locally. Vim keybindings, live preview, zero dependencies. Feels like home.
The same editing experience in your browser. Real-time collaboration, cloud sync, and zero install. Open a link and start writing.
macOS, Windows, Linux, iOS, Android. Native performance with platform-native feel. One markdown vault, every device in your life.
Rabbit R1, smart displays, e-ink tablets, embedded systems. If it has a screen and a network connection, LazyMD can run there.
Compiles to a single binary with zero runtime dependencies.
Install Go 1.24.2 or later from the official site.
git clone https://github.com/
EME130/lazymd.git
cd lazymd && go build ./cmd/lm./lm myfile.mdOpen source, MIT licensed, and built to outlast every proprietary tool that came before it. LLVM for thought.