Skip to content
@Artisan-Lab

Artisan-Lab (Fn*)

Artificial Intelligence for Software Analysis and System Reliability Lab @ Fudan University

Pinned Loading

  1. RAPx RAPx Public

    Rust Analysis Platform

    Rust 47 16

  2. tag-std tag-std Public

    Tag the safety properties of the Rust standard library.

Repositories

Showing 10 of 24 repositories
  • RAPx Public

    Rust Analysis Platform

    Artisan-Lab/RAPx’s past year of commit activity
    Rust 47 MPL-2.0 16 0 0 Updated Jan 12, 2025
  • tag-std Public

    Tag the safety properties of the Rust standard library.

    Artisan-Lab/tag-std’s past year of commit activity
    0 0 0 0 Updated Jan 11, 2025
  • RAPx-Book Public
    Artisan-Lab/RAPx-Book’s past year of commit activity
    1 4 0 0 Updated Jan 6, 2025
  • rustsp_analyzer Public
    Artisan-Lab/rustsp_analyzer’s past year of commit activity
    Rust 1 0 0 0 Updated Jan 1, 2025
  • rap-rust Public Forked from rust-lang/rust

    Using for building rap.

    Artisan-Lab/rap-rust’s past year of commit activity
    Rust 2 13,579 0 0 Updated Oct 18, 2024
  • RAP-PUB-RUST Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Artisan-Lab/RAP-PUB-RUST’s past year of commit activity
    Rust 0 13,579 0 0 Updated Oct 18, 2024
  • RuMono-Bugs Public

    collection of bugs detected by RuMono

    Artisan-Lab/RuMono-Bugs’s past year of commit activity
    0 0 0 0 Updated Oct 3, 2024
  • RULF Public

    A fully automated Rust fuzz driver generator

    Artisan-Lab/RULF’s past year of commit activity
    Rust 51 6 1 0 Updated Oct 2, 2024
  • Fuzzing-Scripts Public
    Artisan-Lab/Fuzzing-Scripts’s past year of commit activity
    Rust 2 2 2 0 Updated Apr 13, 2024
  • SafeDrop Public

    A additional Rust compiler pass to detect memory safe bugs of Rust programs.

    Artisan-Lab/SafeDrop’s past year of commit activity
    Rust 15 Apache-2.0 0 0 0 Updated Dec 28, 2023
View all 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…