Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mit-pdos 52 repositories
Parallel and Distributed Operating Systems group at MIT CSAIL
mit-pdos/perennial
Verifying concurrent crash-safe systems
Language: Coq - Size: 17 MB - Last synced: about 17 hours ago - Pushed: 1 day ago - Stars: 132 - Forks: 32
mit-pdos/zero
PDOS keybase bot
Language: JavaScript - Size: 131 KB - Last synced: 23 days ago - Pushed: 10 months ago - Stars: 0 - Forks: 0
mit-pdos/syndicate
Syndicate multiplexes several distributed master-slave applications onto a single cluster of machines.
Language: Go - Size: 30.3 KB - Last synced: 23 days ago - Pushed: about 8 years ago - Stars: 9 - Forks: 1
mit-pdos/soup-dbtoaster
Soup benchmarks using DBToaster
Language: Shell - Size: 14.6 KB - Last synced: 23 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
mit-pdos/RVirt
RISC-V hypervisor written in Rust
Language: Rust - Size: 373 KB - Last synced: 23 days ago - Pushed: over 4 years ago - Stars: 333 - Forks: 29
mit-pdos/new-students
Welcome for new PDOS students to get access to the organization
Size: 8.79 KB - Last synced: 23 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
mit-pdos/mcqc
A Gallina compiler with C++17 as an intermediate representation
Language: Haskell - Size: 566 KB - Last synced: 23 days ago - Pushed: about 3 years ago - Stars: 40 - Forks: 6
mit-pdos/lockservice
Language: Go - Size: 140 KB - Last synced: 23 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
mit-pdos/go-geoindex Fork of hailocab/go-geoindex
Go native library for fast point tracking and K-Nearest queries
Language: Go - Size: 47.9 KB - Last synced: 23 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
mit-pdos/deepspec-pocs
Language: Coq - Size: 137 KB - Last synced: 23 days ago - Pushed: almost 7 years ago - Stars: 6 - Forks: 1
mit-pdos/6.826-2019-labs
Lab assignments for 6.826
Language: Coq - Size: 108 KB - Last synced: 23 days ago - Pushed: over 4 years ago - Stars: 10 - Forks: 2
mit-pdos/6.826-2017-labs
Language: Coq - Size: 83 KB - Last synced: 23 days ago - Pushed: over 6 years ago - Stars: 13 - Forks: 1
mit-pdos/csail-events-slack
Simple Slack webhook for posting notifications about upcoming CSAIL seminars
Language: Ruby - Size: 11.7 KB - Last synced: 23 days ago - Pushed: about 8 years ago - Stars: 3 - Forks: 1
mit-pdos/xv6-riscv
Xv6 for RISC-V
Language: C - Size: 16.8 MB - Last synced: 23 days ago - Pushed: about 1 month ago - Stars: 6,170 - Forks: 2,220
mit-pdos/xv6-public
xv6 OS
Language: C - Size: 16.8 MB - Last synced: 23 days ago - Pushed: about 1 month ago - Stars: 7,389 - Forks: 3,743
mit-pdos/xv6-riscv-book
Text describing xv6 on RISC-V
Language: TeX - Size: 5.08 MB - Last synced: 23 days ago - Pushed: 6 months ago - Stars: 555 - Forks: 121
mit-pdos/sigmaos
Language: Go - Size: 47.3 MB - Last synced: 22 days ago - Pushed: 4 months ago - Stars: 23 - Forks: 6
mit-pdos/xv6-book
Commentary for xv6-public
Language: Perl - Size: 3.41 MB - Last synced: 23 days ago - Pushed: almost 4 years ago - Stars: 236 - Forks: 66
mit-pdos/noria
Fast web applications through dynamic, partially-stateful dataflow
Language: Rust - Size: 80.6 MB - Last synced: 22 days ago - Pushed: over 2 years ago - Stars: 4,925 - Forks: 236
mit-pdos/6.828-qemu
qemu patched for debugging, used for 6.828
Language: C - Size: 85.5 MB - Last synced: 23 days ago - Pushed: 2 months ago - Stars: 77 - Forks: 58
mit-pdos/biscuit
Biscuit research OS
Language: Go - Size: 131 MB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 2,406 - Forks: 177
mit-pdos/what
An improved version of `w`
Language: Python - Size: 5.86 KB - Last synced: 23 days ago - Pushed: about 7 years ago - Stars: 13 - Forks: 1
mit-pdos/xv6-riscv-fall19
6.S081/6.828 lab repo for fall 2019
Language: C - Size: 15.4 MB - Last synced: 23 days ago - Pushed: almost 3 years ago - Stars: 194 - Forks: 336
mit-pdos/vmvcc
Language: Go - Size: 218 KB - Last synced: 23 days ago - Pushed: 10 months ago - Stars: 14 - Forks: 1
mit-pdos/gokv
Language: Go - Size: 5.56 MB - Last synced: 23 days ago - Pushed: 7 months ago - Stars: 9 - Forks: 2
mit-pdos/daisy-nfsd
DaisyNFS is an NFS server verified using Dafny and Perennial.
Language: Dafny - Size: 1.82 MB - Last synced: 23 days ago - Pushed: 4 months ago - Stars: 27 - Forks: 4
mit-pdos/go-nfsd
Fast NFS server implemented using GoJournal
Language: Go - Size: 3.22 MB - Last synced: 23 days ago - Pushed: 9 months ago - Stars: 38 - Forks: 4
mit-pdos/secfs-skeleton
Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
Language: Python - Size: 74.2 KB - Last synced: 23 days ago - Pushed: about 2 years ago - Stars: 20 - Forks: 10
mit-pdos/fscq
FSCQ is a certified file system written and proven in Coq
Language: Coq - Size: 10.6 MB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 231 - Forks: 20
mit-pdos/argosy
Proving crash safety for systems with layered recovery
Language: Coq - Size: 1.16 MB - Last synced: 23 days ago - Pushed: almost 2 years ago - Stars: 11 - Forks: 6
mit-pdos/6.S060-labs
Programming labs for 6.S060 (Foundations of Computer Security).
Language: Python - Size: 154 KB - Last synced: 23 days ago - Pushed: over 2 years ago - Stars: 12 - Forks: 5
mit-pdos/6.826-2020-labs
Lab assignments for 6.826
Language: Coq - Size: 85 KB - Last synced: 23 days ago - Pushed: over 3 years ago - Stars: 12 - Forks: 10
mit-pdos/6.1600-labs
Student lab assignments for MIT 6.1600
Language: Python - Size: 285 KB - Last synced: 23 days ago - Pushed: 6 months ago - Stars: 6 - Forks: 14
mit-pdos/6.5660-lab-2023
Language: Python - Size: 273 KB - Last synced: 23 days ago - Pushed: almost 1 year ago - Stars: 4 - Forks: 7
mit-pdos/6.1600-notes
Language: TeX - Size: 6.82 MB - Last synced: 23 days ago - Pushed: 4 months ago - Stars: 3 - Forks: 1
mit-pdos/go-journal
Verified, concurrent, crash-safe transaction system
Language: Go - Size: 274 KB - Last synced: 23 days ago - Pushed: 4 months ago - Stars: 42 - Forks: 4
mit-pdos/grove-artifact
Language: Python - Size: 19.5 KB - Last synced: 23 days ago - Pushed: 10 months ago - Stars: 3 - Forks: 0
mit-pdos/mailbot
Bot to send email notifications when pushing to GitHub
Language: Shell - Size: 86.9 KB - Last synced: 23 days ago - Pushed: about 4 years ago - Stars: 7 - Forks: 4
mit-pdos/6.566-lab-2024
Language: Python - Size: 278 KB - Last synced: 20 days ago - Pushed: 21 days ago - Stars: 0 - Forks: 0
mit-pdos/DeathStarBench Fork of delimitrou/DeathStarBench
Open-source benchmark suite for cloud microservices
Language: C - Size: 38.2 MB - Last synced: 23 days ago - Pushed: 6 months ago - Stars: 2 - Forks: 1
mit-pdos/grove
Experiments in verifying distributed systems with Iris
Size: 18.6 KB - Last synced: 23 days ago - Pushed: 7 months ago - Stars: 2 - Forks: 0
mit-pdos/noria-ui
Web UI for Noria clusters
Language: JavaScript - Size: 632 KB - Last synced: 23 days ago - Pushed: almost 5 years ago - Stars: 67 - Forks: 14
mit-pdos/ward
Language: C++ - Size: 37.9 MB - Last synced: 23 days ago - Pushed: over 2 years ago - Stars: 29 - Forks: 5
mit-pdos/noria-mysql
MySQL/MariaDB protocol shim for Noria
Language: Rust - Size: 771 KB - Last synced: 23 days ago - Pushed: over 3 years ago - Stars: 66 - Forks: 15
mit-pdos/dsrg 📦
Distributed Systems Reading Group
Language: CSS - Size: 1010 KB - Last synced: 23 days ago - Pushed: over 6 years ago - Stars: 20 - Forks: 1
mit-pdos/go-ycsb
Fork of https://github.com/pingcap/go-ycsb/ with support for benchmarking GroveKV.
Language: Go - Size: 8.87 MB - Last synced: 23 days ago - Pushed: 10 months ago - Stars: 0 - Forks: 0
mit-pdos/spectrebench
Language: C++ - Size: 41 KB - Last synced: 23 days ago - Pushed: over 2 years ago - Stars: 5 - Forks: 2
mit-pdos/perflock
RWMutex for sharing of multicore machines.
Language: C - Size: 4.88 KB - Last synced: 23 days ago - Pushed: almost 5 years ago - Stars: 15 - Forks: 1
mit-pdos/scalefs
Language: C - Size: 38.5 MB - Last synced: 23 days ago - Pushed: over 6 years ago - Stars: 21 - Forks: 7
mit-pdos/perennial-examples
Examples verified using Perennial
Language: Go - Size: 121 KB - Last synced: 23 days ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0
mit-pdos/cspec
Verifying concurrent code with layers and movers
Language: Coq - Size: 2.33 MB - Last synced: 23 days ago - Pushed: over 4 years ago - Stars: 11 - Forks: 1
mit-pdos/noria-benchmarks
Experiment scripts and results for Soup
Language: Rust - Size: 426 KB - Last synced: 23 days ago - Pushed: over 5 years ago - Stars: 3 - Forks: 1