theseus

There are 9 repositories under theseus topic.

  • 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:Rust2.9k36205174

  • chessai/theseus

    theseus, functional programming language with fully reversible computation

    Language:Haskell119949

  • JulesBelveze/bert-squeeze

    🛠️ Tools for Transformers compression using PyTorch Lightning ⚡

    Language:Python8052010

  • Beach-Launch-Team-CSULB/Theseus-CAD

    Language:Assembly2402

  • calvincramer/theseus

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

    Language:Java110

  • theseus-os/theseus-os.github.io

    The blog website for Theseus OS info and development updates.

    Language:Rust1300

  • 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:JavaScript0100
  • plus-longue-rencontre

    finartcialist/plus-longue-rencontre

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

    Language:HTML0100

  • Smart-Wheelchair-RRC/theseus-motion-planner

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

    Language:Jupyter Notebook00