The AI-native JSON Gantt chart engine. Dependency-free interactive timelines with React, script-tag, CLI, topological DAG solver, and formal JSON schema.
- ai-tools
- critical-path
- dag
- data-visualization
Repository Index
78,351 visible repositories in the index
1–5 of 5 · Most stars
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Online Z-notations Editor with Prosemirror and React.js
- z-notations
- formal
- methods
- reactjs
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety