awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
ยฉ 2026 Bringes Technology SRLยทVAT RO45896025ยทhello@awesome-repositories.com
theseus-os avatar

theseus-os/Theseus

0
View on GitHubโ†—
3,170 starsยท185 forksยทRustยทMITยท14 viewswww.theseus-os.comโ†—

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.

Features

  • Operating Systems - Single address space OS with a focus on safe-language design.

Star history

Star history chart for theseus-os/theseusStar history chart for theseus-os/theseus

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English โ€” the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Projects sharing features with Theseus

These projects share indexed features with Theseus. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • andy-python-programmer/aeroAndy-Python-Programmer avatar

    Andy-Python-Programmer/aero

    1,243View on GitHubโ†—

    Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such as long mode, 5-level paging, and SMP (multicore), to name a few.

    Rustaerohacktoberfestoperating-system
    View on GitHubโ†—1,243
  • asterinas/asterinasasterinas avatar

    asterinas/asterinas

    4,678View on GitHubโ†—

    Asterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functions as a Linux-ABI compatible kernel, enabling the execution of existing Linux binaries and container workloads while providing a declarative operating system distribution model. The project distinguishes itself by acting as a virtual machine container host and a confidential computing guest OS, allowing it to run within hardware-isolated Trusted Execution Environments such as Intel TDX. It implements a minimal trusted computing base by isolating unsafe low-level operations and se

    Rustkernelosrust
    View on GitHubโ†—4,678
  • azure-rtos/threadxazure-rtos avatar

    azure-rtos/threadx

    3,472View on GitHubโ†—

    This advanced real-time operating system (RTOS) is designed specifically for deeply embedded applications. Among the multiple benefits it provides are advanced scheduling facilities, message passing, interrupt management, and messaging services. Eclipse ThreadX RTOS has many advanced features,โ€ฆ

    C
    View on GitHubโ†—3,472
  • 0x59616e/steinsos0x59616e avatar

    0x59616e/SteinsOS

    124View on GitHubโ†—

    An operating system written in Rust

    Rustarmv8kerneloperating-system
    View on GitHubโ†—124
Compare all 25 related projectsโ†’

Frequently asked questions

What does theseus-os/theseus do?

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.

What are the main features of theseus-os/theseus?

The main features of theseus-os/theseus are: Operating Systems.

Which projects share features with theseus-os/theseus?

Projects with overlapping indexed features include: andy-python-programmer/aero โ€” Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supportingโ€ฆ asterinas/asterinas โ€” Asterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functionsโ€ฆ azure-rtos/threadx โ€” This advanced real-time operating system (RTOS) is designed specifically for deeply embedded applications. Among theโ€ฆ bad-antics/glowbarn-os โ€” GlowBarn OS - Paranormal Research Operating System built with Buildroot. bortek/ez-wifibroadcast โ€” Affordable Digital HD Video Transmission made easy! 0x59616e/steinsos โ€” An operating system written in Rust.