Skip to content
@sfu-rsl

Reliable Systems Lab at SFU

Popular repositories Loading

  1. gpu-block-solver gpu-block-solver Public

    Modified g2o with GPU support for general matrix calculations.

    C++ 13 4

  2. symrustc symrustc Public

    SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.

    Shell 10 2

  3. FastTrack FastTrack Public

    GPU-Accelerated Tracking for ORB-SLAM3

    C++ 4 1

  4. symrustc_toolchain symrustc_toolchain Public

    Forked from sfu-rsl/symrustc

    Rust 3

  5. leaf leaf Public

    Concolic execution for Rust through MIR instrumentation.

    Rust 2 1

  6. compute-engine compute-engine Public

    GPU acceleration for sparse block matrix operations.

    C++ 1

Repositories

Showing 10 of 18 repositories
  • leaf_dev Public Forked from sfu-rsl/leaf

    Concolic execution for Rust through MIR instrumentation.

    Rust 0 Apache-2.0 1 0 0 Updated May 3, 2025
  • cargo-minimize Public Forked from Noratrieb/cargo-minimize

    A tool to help with minimization of Rust code

    Rust 0 Apache-2.0 7 0 0 Updated Apr 17, 2025
  • leaf Public

    Concolic execution for Rust through MIR instrumentation.

    Rust 2 Apache-2.0 1 3 2 Updated Apr 16, 2025
  • LibAFL Public Forked from AFLplusplus/LibAFL

    Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

    Rust 0 Apache-2.0 373 0 0 Updated Apr 15, 2025
  • FastTrack Public

    GPU-Accelerated Tracking for ORB-SLAM3

    C++ 4 1 1 0 Updated Feb 19, 2025
  • jacobiGPU Public
    C++ 0 0 0 0 Updated Sep 14, 2024
  • rust-leaf Public Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust 0 13,941 0 0 Updated Jun 19, 2024
  • challenge-001-exemplar Public Forked from aixcc-public/challenge-001-exemplar

    Challenge Problem #1 - Linux Kernel

    Python 0 MIT 29 0 0 Updated Apr 3, 2024
  • gpu-block-solver Public

    Modified g2o with GPU support for general matrix calculations.

    C++ 13 4 1 0 Updated Dec 25, 2023
  • compute-engine Public

    GPU acceleration for sparse block matrix operations.

    C++ 1 MIT 0 0 0 Updated Dec 25, 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.