cu1ch3n / type-inference-zoo

🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/

cu1ch3n
cu1ch3n
Date Created 2024-12-27 (3 months ago)
Commits 55 (last one 16 days ago)
Stargazers 26 (0 this week)
Watchers 1 (0 this week)
Forks 0
License mit
Ranking

RepositoryStats indexes 641,700 repositories, of these cu1ch3n/type-inference-zoo is ranked #628,124 (2nd percentile) for total stargazers, and #563,745 for total watchers. Github reports the primary language for this repository as Haskell, for repositories using this language it is ranked #1,492/1,508.

cu1ch3n/type-inference-zoo is also tagged with popular topics, for these it's ranked: functional-programming (#667/671),  haskell (#650/655),  programming-languages (#123/125)

Other Information

Homepage URL: https://zoo.cuichen.cc/

Star History

Github stargazers over time

30302525202015151010550015 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 MarApr '25Apr '2515 Apr15 Apr

Watcher History

Github watchers over time, collection started in '23

2222111111000003 Apr03 Apr04 Apr04 Apr05 Apr05 Apr06 Apr06 Apr07 Apr07 Apr08 Apr08 Apr09 Apr09 Apr10 Apr10 Apr11 Apr11 Apr12 Apr12 Apr13 Apr13 Apr14 Apr14 Apr15 Apr15 Apr16 Apr16 Apr17 Apr17 Apr18 Apr18 Apr19 Apr19 Apr20 Apr20 Apr21 Apr21 Apr22 Apr22 Apr

Recent Commit History

55 commits on the default branch (main) since jan '22

60605050404030302020101000Jan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 MarApr '25Apr '2515 Apr15 Apr

Yearly Commits

Commits to the default branch (main) per year

776655443322110020242024

Issue History

No issues have been posted

Languages

The primary language is Haskell but there's also others...

HaskellHaskellCSSCSSTypeScriptTypeScriptNixNixJavaScriptJavaScript

updated: 2025-04-19 @ 11:16am, id: 908907304 / R_kgDONizTKA