Cthulhu.jl – show type-inferred Julia code(github.com)

81 points by xgdgsc 3 years ago | 22 comments

Asterinas: OS kernel written in Rust and providing Linux-compatible ABI(github.com)

328 points by Klasiaster 2 years ago | 176 comments

GitHub repository for Asterinas, a secure, fast, general-purpose OS kernel written in Rust that provides a Linux-compatible ABI.

Turning a pile of documents into a searchable useable knowledge base(github.com)

180 points by linuxrebe1 3 months ago | 37 comments

Cortile – Linux auto tiling manager with hot corner support(github.com)

155 points by smartmic 2 years ago | 54 comments

Neorg – organize your life in Neovim(github.com)

78 points by Brajeshwar 2 years ago | 30 comments

Bazzite – a SteamOS-like OCI image for desktop, living room, and handheld PCs(github.com)

346 points by goncalossilva 2 years ago | 94 comments

GitHub repository for Bazzite, an OCI-based Fedora image offering a SteamOS-like gaming OS for Steam Deck, desktops, HTPCs, and other handheld PCs.