OS design innovations and theory

• exopc

  2 4 0.0 C

  Mirror of MIT's Exopc Exokernel Distribution

I ended up mirroring there repo here because it was such a pain to put your hands on their source (tar balls from archive.org): https://github.com/monocasa/exopc

• Theseus

  32 2,734 8.8 Rust

  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.

  

How about no syscalls, and loading ELF blobs? https://github.com/theseus-os/Theseus does language based security with Rust.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project