chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
HYSEN LABS DIRECTORY
Verified repositories, classifications and analysis from the rust-lang organization.
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
A guide to how rustc works and how to contribute to it. This is a collaborative effort to build a guide that explains how rustc works.
Defines the Rust borrow checker.
Emacs configuration for Rust
libgccjit AOT codegen for rustc
crates.io documentation generator
DEFLATE, gzip, and zlib bindings for Rust
The testing ground for the future of portable SIMD in Rust
A lightweight Datalog engine in Rust
Advanced configuration options for sockets.
Run experiments across parts of the Rust ecosystem!
Registry index for crates.io
Forum for discussion about what unsafe code can and can't do
Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure
Information useful to people contributing to Rust
Rust bindings for libssh2
The official Docker images for Rust