mit-pdos
MIT PDOS Joined May 2015 View on GitHub
- Stars
- 31,734
- across 61 public repos
- Rank
- #1,087
- of 94,827 organizations, top 2%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 5,266 | Xv6 for RISC-V | C | 10,777 |
| 5,949 | xv6 OS | C | 9,723 |
| 12,222 | Fast web applications through dynamic, partially-stateful dataflow | Rust | 5,246 |
| 26,275 | Biscuit research OS | Go | 2,590 |
| 66,149 | Text describing xv6 on RISC-V | TeX | 1,002 |
| 163,982 | RISC-V hypervisor written in Rust | Rust | 369 |
| 209,009 | Commentary for xv6-public | Perl | 279 |
| 223,565 | Verifying concurrent storage and distributed systems | Lean | 258 |
| 227,882 | FSCQ is a certified file system written and proven in Coq | Coq | 252 |
| 257,041 | 6.S081/6.828 lab repo for fall 2019 | C | 218 |
| 322,278 | Go | 166 | |
| 550,027 | qemu patched for debugging, used for 6.828 | C | 85 |
| 633,638 | Web UI for Noria clusters | JavaScript | 71 |
| 648,236 | MySQL/MariaDB protocol shim for Noria | Rust | 69 |
| 704,714 | Verified, concurrent, crash-safe transaction system | Go | 62 |
| 785,713 | Fast NFS server implemented using GoJournal | Go | 54 |
| 809,287 | Lean | 52 |
Among 94,827 organizations
25k–40k stars: 673 organizations, including mit-pdos
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- C 20.8k stars, 66% · 4 repos
- Rust 5.7k stars, 18% · 3 repos
- Go 2.9k stars, 9% · 4 repos
- TeX 1k stars, 3% · 1 repo
- Lean 310 stars, 1% · 2 repos
- Perl 279 stars, 1% · 1 repo
- Coq 252 stars, 1% · 1 repo
- JavaScript 71 stars, <1% · 1 repo
When they were made
17 repos with 50+ stars, made between 2015 and 2026
Quick stats
- Next rank
- +13 stars to reach #1,086
- Next milestone
- +3,260 stars to reach the top 1%
- Public repos
- 61, 17 with 50+ stars
- Popular repos
- 5 over 1k stars, 1 over 10k stars
- Top repo
- xv6-riscv, #5,266 of all repos, 34% of stars
- Smaller repos
- 461 stars from repos under 50