{"schemaVersion":1,"kind":"project","documentationUrl":"https://decomphub.com/data","project":{"id":"969a6587-3c9a-40c8-8f2c-baa6dc6cd9f7","slug":"master-thesis-xv6-reimplementation","revision":2,"name":"master-thesis-xv6-reimplementation","description":"","url":"https://app.decomphub.com/projects/master-thesis-xv6-reimplementation","jsonUrl":"https://app.decomphub.com/data/projects/master-thesis-xv6-reimplementation.json","markdownUrl":"https://app.decomphub.com/data/projects/master-thesis-xv6-reimplementation.md","category":"operating-systems","workTypes":["reimplementation"],"targets":["xv6"],"status":"unknown","publishedAt":"2026-10-07T12:23:26.288Z","updatedAt":"2026-10-07T12:23:26.288Z","repository":{"url":"https://github.com/linedejgaard/master-thesis-xv6-reimplementation","host":"github.com","fullPath":"linedejgaard/master-thesis-xv6-reimplementation","description":null,"license":null,"starCount":0,"starsCheckedAt":"2026-10-07T12:12:57.904Z","upstreamArchived":false,"defaultBranch":null,"latestDefaultBranchCommitAt":null,"metadataCheckedAt":"2026-10-07T12:12:57.904Z"},"progress":[],"sources":[{"label":"Public repository metadata","url":"https://github.com/linedejgaard/master-thesis-xv6-reimplementation"},{"label":"Discovery query","url":"https://api.github.com/search/repositories?q=%22reimplementation%22+in%3Aname%2Cdescription+is%3Apublic+fork%3Afalse+created%3A2024-08-17..2025-03-21&sort=updated&order=desc&per_page=100&page=3"}],"longDescription":"","aliases":[],"originalPlatforms":[],"outputPlatforms":[],"architectures":[],"languages":["Coq"],"tags":[],"links":{"website":null,"documentation":null,"releases":null,"buildInstructions":null,"repositories":[],"community":[],"support":[],"issues":[]},"contribution":{"status":"unknown","helpNeeded":[],"url":null,"sourceUrl":null,"checkedAt":null,"prerequisites":"","environments":[],"aiPolicy":"unspecified","aiPolicySourceUrl":null,"aiPolicyConditions":""},"originalAssetsNote":""}}