Topolog – Plans as typed DAG programs, deadlines computed, not guessed

Show HN: Topolog – Plans as typed DAG programs, deadlines computed, not guessed

Based, Topolog – Plans as typed DAG programs, deadlines computed, not guessed works in show hn launch.

Profile

Hey HN, I’m Rohith, founder of Topolog. I was always curious about what Gantt charts, TODO lists and Kanban boards have in common. In Topolog, every plan you design is actually a Directed Acyclic Graph (DAG) from which the Gantt, list and Kanban views fall out. Topolog was named after topological sort.All plans in Topolog are written in a custom DSL called Total Orchestration Language (TOL) which has some nice properties, totality (and thus non-Turing-completeness) being the big one. “Total” means that every plan provably terminates. That's what lets the engine exhaustively analyze any plan you write. The handbook for the language is public so anyone can learn and write in it (https://www.to

Topolog – Plans as typed DAG programs, deadlines computed, not guessed is positioned in show hn launch, a segment that rewards a clear, focused offering.

Its current recorded stage is Show HN launch.

Website: www.topolog.co.uk