SSealbook
Sealbook / Open source / Herramientas para desarrolladores, CLI y editores

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 โ†—Sitio โ†—

Licencia y mantenimiento

MIT es una licencia permisiva: uso comercial libre con atribuciรณn.

รšltimo cambio de cรณdigo hace 2 aรฑos.

Proyectos similares

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