Linux Rust Support

• rust

  2,682 92,831 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

In what way? Rust seems to be proving itself as a reliable mainstay in systems development

https://github.com/rust-lang/rust

The git repo has over 150,000 commits, 3,000 contributors, and 9 years of release history. The last 6 years of which have been post 1.0.

Also, Mozilla has been writing large parts of firefox in Rust since ~2017. There's some interesting writeups on hacks.mozilla, including this one on reducing CVEs with Rust

https://hacks.mozilla.org/2019/02/rewriting-a-browser-compon...

• checkedc

  21 3,183 0.0 C

  Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• koka

  31 3,040 9.8 Haskell

  Koka language compiler and interpreter

  

• dafny

  31 2,665 9.7 C#

  Dafny is a verification-aware programming language

  

• rust.ko

  1 889 0.0 Rust

  A minimal Linux kernel module written in rust.

To be fair, I was just a teenager back then and I was out of kernel development for quite a few years afterwards.

But you are right, this is not coming from the Rust community itself. In fact, several independent groups have been thinking of using Rust in one way or another for kernel purposes, as early as... 2013 (!), e.g. from Taesoo Kim:

    https://github.com/tsgates/rust.ko/commit/58f0fb8fdf4063f5b24a09cbfeec81bf28a9d81b

• Rust-for-Linux

  79 3,792 0.0 C

  Adding support for the Rust language to the Linux kernel. (by Rust-for-Linux)

  

RRIV. Rewrite Rust in V.

What abomination is this? https://github.com/Rust-for-Linux/linux/blob/rust/rust/alloc...

How could this code be safe?

Linus Torvalds is brainwashed and now a Google puppet. Nothing more.

Rust is dead.

Suggest a related project