theseus

There are 0 repository 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.

  operating-systemrustkernelresearchtheseusintralingual
  Language:Rust 2734

• chessai / theseus

  theseus, functional programming language with fully reversible computation

  functional-programmingprogramming-languagereversible-computationtheseus
  Language:Haskell 113

• JulesBelveze / bert-squeeze

  🛠️ Tools for Transformers compression using PyTorch Lightning ⚡

  bertdeebertdistillationfastbertlstmnlppruningpytorch-lightningquantizationtheseustransformers
  Language:Python 78

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

  aerostructuresavionicsfluidspropulsionrecoverytheseus
  Language:Assembly 1

• calvincramer / theseus

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

  ti-84theseusiphone-gamecalculatorgame
  Language:Java 1

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

  The blog website for Theseus OS info and development updates.

  operating-systemsresearchrusttheseustheseus-os
  Language:Rust 1

• 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

  gamegame-developmentminotaurtheseus
  Language:JavaScript 0
• plus-longue-rencontre

  finartcialist / plus-longue-rencontre

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

  meetingsteam-buildingtheseusproject-mgmtartsouterraincreerdesponts
  Language:HTML 0