Theseu Open-Source Projects

Theseus

32 2,750 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.

Project mention: Theseus OS | news.ycombinator.com | 2023-10-23

InfluxDB

www.influxdata.com featured

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.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Theseus related posts

Theseus OS

1 project | news.ycombinator.com | 23 Oct 2023
Making a RISC-V Operating System Using Rust

2 projects | news.ycombinator.com | 14 Jun 2023
Linux kernel use-after-free in Netfilter, local privilege escalation

1 project | news.ycombinator.com | 10 May 2023
Need help for porting my kernel to different architectures.

2 projects | /r/osdev | 27 Mar 2023
Exploiting null-dereferences in the Linux kernel

1 project | news.ycombinator.com | 19 Jan 2023
grub-install: command not found

1 project | /r/osdev | 16 Nov 2022
is rust good for osdev?

1 project | /r/osdev | 20 Jun 2022
A note from our sponsor - InfluxDB
www.influxdata.com | 16 May 2024

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. Learn more →