Languages
39 total
Language | Repos | Stars | Global |
---|---|---|---|
all | 460 | 14,629 | 2,922 |
Haskell | 83 | 6,693 | 13 |
TypeScript | 20 | 1,861 | 1,889 |
Nix | 71 | 1,502 | 12 |
JavaScript | 49 | 1,384 | 5,240 |
Rust | 35 | 1,097 | 1,123 |
Scala | 23 | 659 | 274 |
unknown | 56 | 426 | 7,984 |
Isabelle | 7 | 183 | 6 |
Markdown | 1 | 175 | 55 |
Makefile | 1 | 114 | 605 |
Go | 5 | 102 | 11,588 |
Python | 14 | 64 | 69,396 |
Shell | 15 | 57 | 13,104 |
HTML | 8 | 48 | 15,581 |
PureScript | 12 | 38 | 137 |
Jupyter Notebook | 3 | 34 | 19,056 |
C | 4 | 25 | 32,814 |
OCaml | 2 | 21 | 1,029 |
Kotlin | 6 | 20 | 10,835 |
CUE | 3 | 20 | 26 |
Agda | 3 | 19 | 118 |
CSS | 4 | 15 | 19,457 |
TeX | 7 | 13 | 5,707 |
Coq | 3 | 10 | 331 |
Swift | 2 | 10 | 18,941 |
Standard ML | 1 | 8 | 201 |
HCL | 3 | 7 | 4,213 |
Crystal | 3 | 6 | 755 |
SCSS | 2 | 5 | 6,221 |
Dockerfile | 3 | 4 | 12,540 |
Dart | 1 | 2 | 53,773 |
Just | 1 | 2 | 73 |
MDX | 1 | 2 | 1,750 |
Nunjucks | 1 | 1 | 1,189 |
Ruby | 2 | 1 | 162,337 |
Java | 1 | 1 | 837,790 |
Elixir | 1 | 0 | - |
Zig | 2 | 0 | - |
Vue | 1 | 0 | - |
Repos
Repo | Language | Stars | Rank | |
---|---|---|---|---|
cardano-sl | Haskell | 3,756 | 16 | |
plutus-pioneer-program | Haskell | 1,386 | 66 | |
daedalus | TypeScript | 1,227 | 2,796 | |
haskell.nix | Nix | 524 | 61 | |
Scorex | JavaScript | 503 | 12,776 | |
nami | JavaScript | 369 | 16,708 | |
jormungandr | Rust | 366 | 2,848 | |
rust-byron-cardano | Rust | 266 | 3,684 | |
hydra | Haskell | 256 | 411 | |
cardano-documentation | TypeScript | 254 | 9,664 |
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-24T14:11:15.432483049Z Re-sync