Our great sponsors
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.
Migrate C code to Rust
It's better to convert existing C code to Rust semi-automatically with C2Rust framework than wasting time converting to this instead.
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
7 projects | news.ycombinator.com | 20 Oct 2022
Rewrite in Rust or Use Rust-bindings
1 project | reddit.com/r/rust | 21 Mar 2023
Emitting Safer Rust with C2Rust
3 projects | news.ycombinator.com | 15 Mar 2023
Red Black Tree in Rust
4 projects | reddit.com/r/rust | 4 Jan 2023
In Rust We Trust – A Transpiler from Unsafe C to Safer Rust
1 project | reddit.com/r/programmingcirclejerk | 5 Dec 2022