Home › Data & Visualization › Quint Visualizer
Quint Visualizer
A GraphViz-like visualizer for Quint traces
Visit quint-visualizer.noghartt.dev ↗
| Built with | AI (tool not stated) |
|---|---|
| Category | Data & Visualization |
| Maker | Noghartt |
| Launched | 2026-01-16 |
| Source | Hacker News Show HN · 3 points |
| Link checked | 2026-11-02 |
How we know it was built with AI
- AI (tool not stated): “I vibecoded”
Quoted from the source post. Category is assigned automatically.
From the maker
I started digging deeper into Quint ( https://quint-lang.org/ ), but I missed a tool that let me explore trace samples, something like how TLA+ uses GraphViz to visualize the state graph. So I vibecoded a small web tool that lets you upload a valid JSON file and explore Quint trace in different stages.
Similar apps
MTA.rip
A train visualizer that shows congestion
Weather Ribbon
An open source full-year weather visualization website
localwind
Local historical wind and gust visualizer
seo-sutra
SEO Tracker (Not AI)
nexttrain.london
A web to see nearby TFL trains
Artemis.fyi
Real-time tracker for the Artemis II Moon mission