Developer · Repository owner

quint-co

1 repository by quint-co on GitTiger, with 1 stars gained today.

Owner profile

quint-co

+1

stars today

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScriptWorkflow Automation & No-Code

Repository rows keep their global rank; this list is filtered to the selected owner.