SSealbook
Sealbook / Open source / Developer tools, CLI & editors

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.

intralingualkerneloperating-systemresearchrusttheseus
GitHub โ†—Website โ†—

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 2 years ago.

Similar projects

RepositoryStarsLanguageLicenseActivity
1rust-lang/rustEmpowering everyone to build reliable and efficient software.โ˜… 120.5kRustApache-2.0Active
2BurntSushi/ripgrepripgrep recursively searches directories for a regex pattern while respecting your gitignoreโ˜… 69.2kRustUnlicenseActive
3storytold/photocraftPhotoCraft: An open-source, photo editor written by scratch in pure Rustโ˜… 67.3kRustApache-2.0Active
4alacritty/alacrittyA cross-platform, OpenGL terminal emulator.โ˜… 66kRustApache-2.0Active
5warpdotdev/warpWarp is an agentic development environment, born out of the terminal.โ˜… 65.5kRustAGPL-3.0Active
6sharkdp/batA cat(1) clone with wings.โ˜… 60.8kRustApache-2.0Active
7starship/starshipโ˜„๐ŸŒŒ๏ธ The minimal, blazing-fast, and infinitely customizable prompt for any shell!โ˜… 60.3kRustISCActive
8astral-sh/ruffAn extremely fast Python linter and code formatter, written in Rust.โ˜… 50.1kRustMITActive