Languages
4 total
Repos
Repo | Language | Stars | Rank | |
---|---|---|---|---|
typedefs | Idris | 364 | 7 | |
typedefs.js | JavaScript | 7 | 365,228 | |
idris-gpd | Idris | 3 | 435 | |
try-typedefs | JavaScript | 3 | 752,453 | |
purescript-typedefs-interop | JavaScript | 2 | 1,130,331 | |
cli | JavaScript | 2 | 1,126,076 | |
tdlc | unknown | 1 | 2,229,124 | |
typedefs-docs | CSS | 1 | 489,342 | |
typedefs-example-reasonml | unknown | 1 | 2,076,517 | |
site | CSS | 0 | - |
Badges
Get your badge to use on GitHub or websites using the code below
Global
Displays global rankings for all languages plus top two languages by stars
Preview
Last updated: 2024-04-17T07:02:15.413172910Z Re-sync