Christian Poveda Ruiz

No description provided.

A symbolic evaluator for MIR

No description provided.

Mostly complete pure rust implementation of parsing llvm instrumentation profile data

Heapless, `static` friendly data structures

A functional programming language

Ferrocene's toolchain manager.

No description provided.

Rust teams structure

Creates CycloneDX Software Bill of Materials (SBOM) from Rust (Cargo) projects

No description provided.

A modern TLS library in Rust

No description provided.

A C preprocessor written in Rust

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

No description provided.

A tiny library manager for digital documents

A gnome search provider to index documents

No description provided.

Empowering everyone to build reliable and efficient software.

No description provided.

No description provided.

An interpreter for Rust's mid-level intermediate representation

No description provided.

No description provided.

Porting http://ai.berkeley.edu/project_overview.html to Rust