theseus-os/Theseus
@theseus-osTheseus는 Rust로 처음부터 작성된 현대적인 OS로, 언어 안전성과 아핀 타입의 힘을 최대한 활용하여 컴파일러와 하드웨어 간의 의미론적 격차를 줄이는 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧을 탐구합니다. Theseus는 리소스 관리와 같은 OS 책임을 컴파일러로 전환하는 것을 목표로 합니다.
스타
3,190
포크
186
언어
Rust
라이선스
MIT
마지막 푸시
2년 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.