GitHub repository: Citizen-X/osdi-docs
Primary language: HTML
Description: OSDI Specification