Languages
6 total
Repos
Repo | Language | Stars | Rank | |
---|---|---|---|---|
grin | Haskell | 1,016 | 93 | |
ghc-grin | Haskell | 142 | 707 | |
ghc-whole-program-compiler-project | Haskell | 114 | 899 | |
haskell-code-spot | Svelte | 107 | 356 | |
idris-grin | Idris | 50 | 40 | |
ext-stg-interpreter-presentation-demos | Haskell | 15 | 4,890 | |
agda-grin | Haskell | 9 | 7,181 | |
souffle-cfa-optimization-experiment | HTML | 7 | 79,047 | |
ghc-wpc-sample-programs | Haskell | 6 | 9,638 | |
external-stg-syntax | Haskell | 5 | 10,738 |
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-17T06:37:33.885408495Z Re-sync