theseus-os / Theseus
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.
RepositoryStats indexes 537,046 repositories, of these theseus-os/Theseus is ranked #17,174 (97th percentile) for total stargazers, and #67,040 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #479/14,958.
theseus-os/Theseus has 27 open pull requests on Github, 771 pull requests have been merged over the lifetime of the repository.
Github issues are enabled, there are 36 open issues and 163 closed issues.
Homepage URL: https://www.theseus-os.com/
Star History
Github stargazers over time
Watcher History
Github watchers over time, collection started in '23
Recent Commit History
464 commits on the default branch (theseus_main) since jan '22
Yearly Commits
Commits to the default branch (theseus_main) per year
Issue History
Languages
The primary language is Rust but there's also others...
updated: 2024-07-05 @ 11:46pm, id: 97989275 / R_kgDOBdcymw