{"adoption": {"forks": 185, "observed_at": "2026-08-28T04:07:47.851839+00:00", "stars": 3182}, "canonical_url": "https://ross.abutalabs.com/products/theseus", "card": {"archived": false, "artifact_type": "application", "description": "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.", "domain": ["operating-systems", "programming-languages", "embedded-systems"], "enriched": true, "function": ["compiler", "security", "wasm"], "health_score": 20, "homepage": "https://www.theseus-os.com/", "language": "Rust", "license": "MIT", "license_family": "permissive", "maturity": "experimental", "member_repos": ["theseus-os/Theseus"], "name": "theseus-os/Theseus", "platform": ["rust", "cross-platform"], "pushed_at": "2024-09-22T18:48:20+00:00", "repo": "theseus-os/Theseus", "stars": 3182, "tags": ["kernel", "intralingual-design", "research-os", "rust-os", "bare-metal", "qemu", "academic-research", "operating-system", "research", "linux"], "topics": ["operating-system", "rust", "kernel", "research", "theseus", "intralingual"], "urls": [], "use_cases": ["research operating system design in Rust", "study how compiler type systems can replace OS resource management", "run a safe-language kernel on bare metal or in QEMU", "experiment with a WASM-native bare-metal runtime", "learn OS kernel development with Rust", "explore fault recovery and live evolution in OSes"], "what_it_is": "Theseus is a research operating system written from scratch in Rust that explores intralingual design, shifting OS responsibilities like resource management into the compiler via language safety and affine types. It runs on bare metal (testable in QEMU) and is being extended with a WASM-native runtime to safely execute modules written in arbitrary languages.", "when_to_avoid": ["you need a production-ready OS for daily use or servers", "you require broad hardware driver support or a mature ecosystem", "you just need a general-purpose Linux alternative"], "when_to_choose": ["you are doing academic research on OS structure and language-OS co-design", "you want to study or contribute to a from-scratch Rust kernel", "you need a testbed for intralingual design or WASM-native system ideas"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/theseus", "repo": "theseus-os/Theseus", "role": "main", "score": 32}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:07:47.851839+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T07:25:04.115628+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "9d6fe4e1ebe554f20fe894a586bde416fa6cb216864236a189044da06367d1da", "fetched_at": "2026-08-28T04:07:47.851839+00:00", "kind": "readme", "missing": false, "url": "https://github.com/theseus-os/Theseus"}, {"content_hash": "71e463cd7b91bcbbddcf8b3fb67cf29ff8fd042f049e3af16d6910bf71207d2d", "fetched_at": "2026-08-29T09:39:09.597927+00:00", "kind": "homepage", "missing": false, "url": "https://www.theseus-os.com/"}, {"content_hash": "36c59b9adc7273a2b3ee7b7c21a902768e20f29c1795dac90886781f547d955f", "fetched_at": "2026-08-29T09:39:09.600209+00:00", "kind": "site_page", "missing": false, "url": "https://www.theseus-os.com/2021/11/01/October-Update-WASM.html"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3330, "days_push": 710, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 32, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}