https://github.com/mit-pdos/6.826-2020-labs

Lab assignments for 6.826
https://github.com/mit-pdos/6.826-2020-labs

Last synced: about 2 months ago
JSON representation

Lab assignments for 6.826

• Host: GitHub
• URL: https://github.com/mit-pdos/6.826-2020-labs
• Owner: mit-pdos
• License: other
• Created: 2020-09-07T03:52:11.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-10-20T18:30:47.000Z (about 4 years ago)
• Last Synced: 2024-04-30T09:03:05.351Z (8 months ago)
• Language: Coq
• Size: 85 KB
• Stars: 12
• Watchers: 8
• Forks: 10
• Open Issues: 0

Awesome Lists containing this project