Topic · type-system

type-system

Tracked open-source repos tagged type-system, sorted by stars.

Repos

8

Total stars

62,570

Avg. stars

7,821

Share

0.00%

Topics that frequently appear alongside type-system on the same repo.

Recent risers

Repos created in the last 90 days, tagged type-system.

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

#1
type-challenges ↗@type-challengesTypeScript
Collection of TypeScript type challenges with online judge
★ 48,485+31Star change over the last 7 days
#2
typedb ↗@typedbRust
TypeDB: Built for systems, not records
★ 4,435+10Star change over the last 7 days
#3
zui ↗@brimdataTypeScript
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
★ 1,968-1Star change over the last 7 days
#4
HypeScript ↗@ronamiTypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
★ 1,965+1Star change over the last 7 days
#5
typed-japanese ↗@typedgrammarTypeScript
🌸 Learn Japanese grammar with TypeScript
★ 1,945+0Star change over the last 7 days
#6
hash ↗@hashintelTypeScript
🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation
★ 1,649+4Star change over the last 7 days
#7
datatype99 ↗@hirrolotC
Algebraic data types for C99
★ 1,508+0Star change over the last 7 days
#8
Gradualizer ↗@josefsErlang
A Gradual type system for Erlang
★ 618+0Star change over the last 7 days

← Back to topics