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.
created at July 21, 2017, 9:52 p.m.
WebPKI X.509 Certificate Validation in Rust
created at Aug. 27, 2015, 8:03 a.m.
A Spotify player in the terminal with full feature parity
created at July 8, 2021, 1:51 a.m.
A toolkit for building distributed applications
created at March 14, 2022, 7:30 p.m.
Safe Rust bindings to POSIX-ish APIs
created at Sept. 14, 2020, 9:35 p.m.
A fast, offline reverse geocoder in Python
created at March 26, 2015, 10:51 a.m.
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.
created at Jan. 21, 2020, 3:38 p.m.