{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tock","owner":"os-by-rs","isFork":true,"description":"A secure embedded operating system for microcontrollers","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":685,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-16T04:34:25.784Z"}},{"type":"Public","name":"redox","owner":"os-by-rs","isFork":true,"description":"Mirror of https://gitlab.redox-os.org/redox-os/redox","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":921,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-16T00:14:24.937Z"}},{"type":"Public","name":"Theseus","owner":"os-by-rs","isFork":true,"description":"Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":170,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T15:53:55.747Z"}},{"type":"Public","name":"blog_os","owner":"os-by-rs","isFork":true,"description":"Writing an OS in Rust","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1033,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-04T19:16:54.306Z"}},{"type":"Public","name":"zCore","owner":"os-by-rs","isFork":true,"description":"Zircon microkernel reimplemented in Rust.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":208,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T04:21:10.353Z"}},{"type":"Public","name":"rust-raspberrypi-OS-tutorials","owner":"os-by-rs","isFork":true,"description":"📚 Learn to write an embedded OS in Rust 🦀","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":783,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-10T03:24:45.293Z"}},{"type":"Public","name":"rCore","owner":"os-by-rs","isFork":true,"description":"Rust version of THU uCore OS. Linux compatible.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":369,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-24T13:46:34.873Z"}}],"repositoryCount":7,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"os-by-rs repositories"}