Rémy Rakic's repositories
a-mir-formality
a PLT redex model of MIR and its type system
async-std
Async version of the Rust standard library
babysteps
Babysteps blog
borrow-check
Defines the Rust borrow checker.
cargo
The Rust package manager
creme_crm
Creme is a highly configurable free/open-source Customer Relationship Management designed with an entities/relationships architecture.
dada
I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
dada-model
Why can't a tree be called Pluplusch?
diesel
A safe, extensible ORM and Query Builder for Rust
highfive
Github hooks to provide an encouraging atmosphere for new contributors
HVM
LambdaVM in Rust
hyper
An HTTP library for Rust
impl-trait-initiative
Impl trait lang team initiative
issue-105637
Repro for issue https://github.com/rust-lang/rust/issues/105637 fixed by https://github.com/rust-lang/rust/pull/105800
iterator_item
A syntax exploration of eventually stable Rust Iterator items
polonius.next
experimental datalog rules for a next gen polonius
quote
Rust quasi-quoting
raphlinus.github.io
Raph's personal blog
rfcs
RFCs for changes to Rust
rust-playground
The Rust Playground
rustc-dev-guide
A guide to how rustc works and how to contribute to it.
rustc-hash
Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure
rustc-perf
Website for graphing performance of rustc
snmalloc-rs
rust bindings of snmalloc
thorin
DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
tiny-bench
A tiny benchmarking library
tract
Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference