langston-barrrett.github.io

Notes

These are my working notes. They're not necessarily written with an audience in mind, but might be helpful to some.

• actions-rs
• ALLVM
• anyhow
• Atomics in Rust
• Bunched Logic
• Cargo
• cargo-careful
• CI for Rust
• Clippy
• GLLVM
• Haskell Style Guide
• Hoare Logic
• K-LLVM
• Learning LLVM
• LLVM
• LLVM IR
• LLVM-Reduce
• Meta Style Guide
• MLIR
• Programming Style Guide
• Python Style Guide
• Rust
• rustc
• rustfmt
• Sanitizers
• Separation Logic
• thiserror
• WLLVM