# GitHub repos by mit-pdos

<https://repo.masters-masters.com/en/owners/mit-pdos>

[Home](https://repo.masters-masters.com/en) › [mit-pdos](https://repo.masters-masters.com/en/owners/mit-pdos)

All 11 public GitHub repos by mit-pdos in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by mit-pdos

11 public repos by mit-pdos in the catalog, most starred first.

- [mit-pdos/xv6-riscv · ★ 10,744 · C · Stable](https://repo.masters-masters.com/en/repos/mit-pdos/xv6-riscv)
- [mit-pdos/xv6-public · ★ 9,718 · C · Stable](https://repo.masters-masters.com/en/repos/mit-pdos/xv6-public)
- [mit-pdos/noria · ★ 5,246 · Rust · Stable](https://repo.masters-masters.com/en/repos/mit-pdos/noria)
- [mit-pdos/biscuit · ★ 2,591 · Go · RC](https://repo.masters-masters.com/en/repos/mit-pdos/biscuit)
- [mit-pdos/xv6-riscv-book · ★ 999 · TeX · Beta](https://repo.masters-masters.com/en/repos/mit-pdos/xv6-riscv-book)
- [mit-pdos/RVirt · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/en/repos/mit-pdos/RVirt)
- [mit-pdos/xv6-book · ★ 279 · Perl · Alpha](https://repo.masters-masters.com/en/repos/mit-pdos/xv6-book)
- [mit-pdos/perennial · ★ 255 · Lean · Alpha](https://repo.masters-masters.com/en/repos/mit-pdos/perennial)
- [mit-pdos/fscq · ★ 252 · Coq · Alpha](https://repo.masters-masters.com/en/repos/mit-pdos/fscq)
- [mit-pdos/xv6-riscv-fall19 · ★ 218 · C · Prototype](https://repo.masters-masters.com/en/repos/mit-pdos/xv6-riscv-fall19)
- [mit-pdos/sigmaos · ★ 166 · Go · Prototype](https://repo.masters-masters.com/en/repos/mit-pdos/sigmaos)

## See mit-pdos on GitHub

- [https://github.com/mit-pdos](https://github.com/mit-pdos)

---
Data: GitHub