Skip to content
@safer-rust

safer-rust

Closing the last mile towards safe software written in Rust.

Pinned Loading

  1. rust-safety-standard rust-safety-standard Public

    This repository aims to standardize how unsafe code is declared and documented.

    2

  2. RAPx RAPx Public

    This is a static analysis project for analyzing Rust programs.

    Rust 136 29

  3. safety-tags safety-tags Public

    Tag the safety properties of the Rust standard library.

    Rust 15 5

Repositories

Showing 6 of 6 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…