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.

Language: Rust - Size: 129 MB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 2,985 - Forks: 175

chessai/theseus

theseus, functional programming language with fully reversible computation

Language: Haskell - Size: 1.97 MB - Last synced at: 10 days ago - Pushed at: about 6 years ago - Stars: 122 - Forks: 9

JulesBelveze/bert-squeeze

🛠️ Tools for Transformers compression using PyTorch Lightning ⚡

Language: Python - Size: 2.44 MB - Last synced at: 17 days ago - Pushed at: 7 months ago - Stars: 83 - Forks: 10

Beach-Launch-Team-CSULB/Theseus-CAD

Language: Assembly - Size: 2.38 GB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 2

theseus-os/theseus-os.github.io

The blog website for Theseus OS info and development updates.

Language: Rust - Size: 6.26 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

calvincramer/theseus

A clone of the old iPhone game Theseus, for the TI-84 Plus handheld calculator

Language: Java - Size: 8.46 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

Smart-Wheelchair-RRC/theseus-motion-planner

Theseus-based differentiable MPC implemented for both acceleration and velocity based control

Language: Jupyter Notebook - Size: 342 KB - Last synced at: 7 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

DominicSimpson/facprojectsix

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

Language: JavaScript - Size: 471 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

finartcialist/plus-longue-rencontre

pour tout savoir sur le projet *la plus longue rencontre du monde est-elle une rencontre ?*

Language: HTML - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0