Stars
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
A demand-driven compiler with strong IDE support
Forum for discussion about what unsafe code can and can't do
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Mirror of https://gitlab.com/est/cargo-local-serve | Serve a local, offline, clone of crates.io.
cargo subcommand showing the assembly or llvm-ir generated for Rust code
A cross platform C99 library to get cpu features at runtime.