Topic · specification-language

specification-language

Tracked open-source repos tagged specification-language, sorted by stars.

Repos

1

Total stars

1,642

Avg. stars

1,642

Share

0.00%

Topics that frequently appear alongside specification-language on the same repo.

Recent risers

Repos created in the last 90 days, tagged specification-language.

No new repos tagged with this topic in the last 90 days.

#1
quint ↗@quint-coTypeScript
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
★ 1,650+15Star change over the last 7 days

← Back to topics