Skip to content
@safer-rust

safer-rust

Closing the last mile towards safe software written in Rust.

Pinned Loading

  1. RAPx RAPx Public

    This is a static analysis project for analyzing Rust programs.

    Rust 139 29

  2. safety-tags safety-tags Public

    Tag the safety properties of the Rust standard library.

    Rust 16 5

  3. rust-safety-standard rust-safety-standard Public

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

    3

  4. std-unsafe-doc std-unsafe-doc Public

    Safety Docs in the Rust Standard Library

    Python 2 1

  5. linux-unsafe-doc linux-unsafe-doc Public

    HTML 1 1

Repositories

Showing 9 of 9 repositories

People

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

Most used topics

Loading…