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.
theseus, functional programming language with fully reversible computation
🛠️ Tools for Transformers compression using PyTorch Lightning ⚡
A clone of the old iPhone game Theseus, for the TI-84 Plus handheld calculator
The blog website for Theseus OS info and development updates.
THESEUS & THE MINOTAUR: This was my Feature project that was part of my (ultimately successful) application to join the Skills Bootcamp of Founders & Coders. For more on me, see my main profile in GitHub
pour tout savoir sur le projet *la plus longue rencontre du monde est-elle une rencontre ?*
Add a description, image, and links to the theseus topic page so that developers can more easily learn about it.
To associate your repository with the theseus topic, visit your repo's landing page and select "manage topics."