所有者 · quint-co

quint-co

quint-co 收录中的开源项目，按星标数排序。

共 1 个项目

#1
quint ↗@quint-coTypeScript
基于动作时序逻辑（TLA）且具备优秀工具链的可执行规格语言
★ 1,665+11近 7 天星标变化

← 返回所有者排行