Formatex
Fix, compile, collaborate. LaTeX with AI & API.
What it does
FormaTex is the modern LaTeX platform built for the AI era. AI tools now generate most LaTeX but it breaks constantly. FormatEx fixes this with Smart Compile + AI auto-fix that corrects errors before compilation. Key features: • AI that fixes broken LLM-generated LaTeX • Full REST + MCP API for automation and agents • Real-time collaborative editor with Git integration • Templates with variables (define once, reuse forever) • Unlimited editor compiles on Free tier No more Overleaf limits.
Does the same job
all alternatives →
- SRSugarTeX – readable LaTeX language extension and transcompiler to LaTeX2018 · github.com · ▲53
- RARevise – An AI Editor for DocumentsMar 2026 · revise.io · ▲85
I started building this 10 months ago, largely using agentic coding tools. I've stayed very involved in the code base and architecture, and have never moved faster in my life as a dev. The word processor engine and rendering layer are all built from scratch - the only 3rd party library I used was the excellent Y.js for the CRDT stack. Would love some feedback!
More dev tools this month
the category →
The first open-source price index for GPU compute
Dev tools · 10d ago · getcomputable.com
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 2d ago · opentrailpaper.com
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
Launched alongside, April 2026
the whole month →
- AG
Thought the resources for GPU arch were lacking, so here we are
Life & fun · Apr 2026 · jaso1024.com
- IB
Built a ~9M param LLM from scratch to understand how they actually work. Vanilla transformer, 60K synthetic conversations, ~130 lines of PyTorch. Trains in 5 min on a free Colab T4. The fish thinks the meaning of life is food. Fork it and swap the personality for your own character.
AI · Apr 2026 · github.com
- BC
Life & fun · Apr 2026 · sam-burns.com
- IB
With social media and now AI, its important to keep the indie web alive. There are many people who write frequently. Blogosphere tries to highlight them by fetching the recent posts from personal blogs across many categories. There are two versions: Minimal (HN-inspired, fast, static): https://text.blogosphere.app/ Non-minimal: https://blogosphere.app/ If you don't find your blog (or your favorite ones), please add them. I will review and approve it.
AI · Apr 2026 · text.blogosphere.app