オーナー · quint-co

quint-co

quint-co の追跡中のオープンソースリポジトリを、スター数順に表示します。

1 件のリポジトリ

#1
quint ↗@quint-coTypeScript
TLA（Temporal Logic of Actions）に基づいた、優れたツール群を備える実行可能な仕様記述言語
★ 1,654+12直近 7 日のスター増減