Giter Site home page Giter Site logo

theseus-os / theseus Goto Github PK

View Code? Open in Web Editor NEW
2.8K 31.0 165.0 132.45 MB

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.

Home Page: https://www.theseus-os.com/

License: MIT License

Makefile 1.43% Rust 96.56% Assembly 0.98% Shell 0.51% Python 0.07% Dockerfile 0.05% C 0.39% HTML 0.01%
operating-system rust kernel research theseus intralingual

theseus's People

Contributors

acciente717 avatar amab8901 avatar apham727 avatar apogeeoak avatar arysef avatar bowenliu15 avatar bshiberu1 avatar christinewang5 avatar dcampbell24 avatar forrestzhong avatar hecatia-elegua avatar jkugelman avatar kevinaboos avatar namiliy avatar narasimha1997 avatar nathanroyer avatar nicholaslindsay avatar nramos0 avatar octronics avatar omahs avatar ouz-a avatar pingiun avatar qwaz avatar ramla-i avatar snoword avatar susienme avatar tsoutsman avatar vikrammullick avatar wieczorek1990 avatar ytvwld avatar

Stargazers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Forkers

kevinaboos ramla-i namiliy jacob-earle isgasho poovarasanvasudevan potatogim tomzhang salewski chaojiangluo mrpoudel romgrk freddywordingham joshi-ketaki lambda2023 nicholaslindsay max-heller onehr jianding17 xiaochunlee xiaoluoa liuzhixin1976 acciente717 justanotherdot triptych stockle kpp virtuoushub awesome-interesting-projects supair shuang1314258 wesleyhuang2014 pingiun deveusss ravindra-csu twitchax dalalsunil1986 sl1mb0 rave-hacking thechurchofrust jhutchins apogeeoak qwaz donghaiyuan zetanumbers narasimha1997 lartie nooea corvinux sovr610 mariszo vikrammullick dxtr85 mriceman annacraven dpadron08 skyelves shsym tuck-hart fernandorojasm akshay-deepsource liubrandon phial3 uvesten carlosjordandev bunnybunbun37204 playfloor hitmoon ivechan nathanroyer michaelharriscode wahello wieczorek1990 xa888s binarygears jkugelman tsoutsman topecongiro m-hugo fortr4n sunshine-lcc nramos0 krystian-wojtas mengxianglinx cristianstanciu dacle0509 quire7 zinla yashwanthsinghm nasingfaund ssun3 y0zong jeremyandrews dcampbell24 andre-hjr hecatia-elegua horahh arbersephirotheca ouz-a clownsw

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.