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

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

Last synced: about 2 months ago
JSON representation

Lab assignments for 6.826

• Host: GitHub
• URL: https://github.com/mit-pdos/6.826-2019-labs
• Owner: mit-pdos
• License: other
• Created: 2019-09-04T14:53:45.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-11-08T19:55:02.000Z (about 5 years ago)
• Last Synced: 2024-04-30T09:03:05.356Z (8 months ago)
• Language: Coq
• Homepage: https://6826.csail.mit.edu/2019
• Size: 108 KB
• Stars: 10
• Watchers: 7
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project