Topic · specifications

specifications

Tracked open-source repos tagged specifications, sorted by stars.

Repos

4

Total stars

5,681

Avg. stars

1,420

Share

0.00%

Topics that frequently appear alongside specifications on the same repo.

Recent risers

Repos created in the last 90 days, tagged specifications.

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

#1
tlaplus ↗@tlaplusJava
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
★ 3,019+11Star change over the last 7 days
#2
specs ↗@ipfsHTML
Technical specifications for the IPFS protocol stack
★ 1,238+0Star change over the last 7 days
#3
ircv3-specifications ↗@ircv3
IRCv3 specifications | Roadmap: https://git.io/IRCv3-Roadmap | Code of conduct: http://ircv3.net/conduct.html
★ 864+1Star change over the last 7 days
#4
rres ↗@raysan5C
A simple and easy-to-use file-format to package resources
★ 562+1Star change over the last 7 days

← Back to topics