Pinned Repositories
dotfiles
librarian
A tiny library manager for digital documents
liquid-rust
pijama
pijama_legacy
A functional programming language
sire
A symbolic evaluator for MIR
miri
An interpreter for Rust's mid-level intermediate representation
rust
Empowering everyone to build reliable and efficient software.
rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
sudo-rs
A memory safe implementation of sudo and su.
pvdrz's Repositories
pvdrz/pijama_legacy
A functional programming language
pvdrz/sire
A symbolic evaluator for MIR
pvdrz/librarian
A tiny library manager for digital documents
pvdrz/liquid-rust
pvdrz/dotfiles
pvdrz/const-index
pvdrz/cryptopals-old
pvdrz/domain
A gnome search provider to index documents
pvdrz/pacman
Porting http://ai.berkeley.edu/project_overview.html to Rust
pvdrz/ray-tracing
pvdrz/pijama
pvdrz/advent2021
pvdrz/beheader
A C preprocessor written in Rust
pvdrz/bento
pvdrz/compression
pvdrz/criticalup
Ferrocene's toolchain manager.
pvdrz/cv
pvdrz/cyclonedx-rust-cargo
Creates CycloneDX Software Bill of Materials (SBOM) from Rust (Cargo) projects
pvdrz/miri
An interpreter for Rust's mid-level intermediate representation
pvdrz/pvdrz
pvdrz/rust
Empowering everyone to build reliable and efficient software.
pvdrz/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
pvdrz/rustls
A modern TLS library in Rust
pvdrz/team
Rust teams structure
pvdrz/which-sig