Back to search
Top Contributors
856
commits
105
commits
50
commits
46
commits
42
commits
22
commits
17
commits
16
commits
16
commits
13
commits
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.
Stars
3.1k
Forks
185
Watchers
3.1k
Open Issues
69
Overall repository health assessment
No package.json found
This might not be a Node.js project
856
commits
105
commits
50
commits
46
commits
42
commits
22
commits
17
commits
16
commits
16
commits
13
commits
Use `Path::get()` in `chdir` function to support `..` path nav (#1104)
ee7688fView on GitHubFrame Allocator: avoid creating duplicate free regions during init (#1105)
68cc3aeView on GitHubRemove unnecessary clones when piping commands in `hull` (#1089)
ffb5e8bView on GitHubRestructure init of PCI legacy interrupts (INTx); add `lspci` app (#1081)
ac5712cView on GitHubaarch64: support PCI INTx legacy interrupts USB (#1071)
1e2c7dfView on GitHub`chdir`: handle paths with multiple components (#1080)
3a678a9View on GitHubRemove old irrelevant items from `Cargo.toml` (#1075)
562a39cView on GitHub