GitHub intelligence

quint-co

1 repository1,803 stars in totalTop language TypeScriptGitHub profile ↗

Repository	Language	Stars	30D Change	Activity	Trend
quint-co/quint quint-co · Programming Languages & Compilers	TypeScript	1.8K	Collectingfrom NOV 1	26d ago