typechecker-zoo

Public

A menagerie of cute implementations of modern typechecking algorithms

MIT License

Updated Feb 3, 2026

Created Aug 15, 2025

380 stars

13 forks

2 watchers

4 open issues

Languages

Codebase composition by bytes

Top Contributors

82 commits

6 commits

4 commits

3 commits

3 commits

2 commits

1 commits

Recent Stargazers

6 months ago

6 months ago

6 months ago

6 months ago

6 months ago

6 months ago

6 months ago

6 months ago

6 months ago

6 months ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)23,747

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 4Closed Issues 34

Open Issues38

Activity Peak

Most recent day with highest activityFeb 2, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

typechecker-zoo