Our great sponsors
-
I'm putting my money where my mouth is and will be supporting rustc_codegen_gcc on Github Sponsors starting in June.
-
So, in this analogy, the people working the tower put up a sign explaining why they're working on that project at all.
-
WorkOS
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.
-
The trusting trust issue is already addressed by mrustc.
-
I believe Unsafe Code Guidelines, miri and Ferrocene need to be completed first. Only after all of that is done, creating an alternative implementation to verify these specs will become actually useful.
-
I believe Unsafe Code Guidelines, miri and Ferrocene need to be completed first. Only after all of that is done, creating an alternative implementation to verify these specs will become actually useful.
-
Google created LLVM ThinLTO as well as LLVM sanitizers. Both of those are used in clang and rustc.
-
chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver (by rust-lang)
Chalk which uses a Prolog-ish system to implement the trait system.
-
InfluxDB
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.
-
Polonius which uses Datalog to implement borrow-checking.
Related posts
- GCC Rust Monthly Report #12 November 2021
- Rust-GCC/gccrs GCC Rust
- Why do lifetimes need to be leaky?
- How hard would it be to port the Rust toolchain to a new non-POSIX OS written in Rust and get it to host its own development? What would that process entail?
- Rust contributions for Linux 6.4 are finally merged upstream!