Skip to content
@trusted-programming

trusted-programming

Popular repositories Loading

  1. mate mate Public

    Rust 12

  2. cargo-aspect cargo-aspect Public

    Aspect-oriented programming in Rust

    Rust 11

  3. rust-toolchain rust-toolchain Public

    Trusted toolchain for end-to-end development, build, check, and test of Rust at scale

    Shell 7 2

  4. trusted-programming.github.io trusted-programming.github.io Public

    HTML 4 1

  5. rust-diagnostics rust-diagnostics Public

    Rust 3

  6. cfmt cfmt Public

    Rust 3 1

Repositories

Showing 10 of 30 repositories
  • descend Public Forked from descend-lang/descend

    An attempt at safe imperative GPU programming.

    trusted-programming/descend’s past year of commit activity
    Rust 0 MIT 4 0 0 Updated Oct 20, 2025
  • infercode Public
    trusted-programming/infercode’s past year of commit activity
    Python 2 Apache-2.0 0 0 0 Updated Aug 12, 2025
  • trusted-programming/trusted-programming.github.io’s past year of commit activity
    HTML 4 1 0 0 Updated Jun 30, 2025
  • trusted-programming/gemm_microbench’s past year of commit activity
    C++ 0 0 0 0 Updated Jun 5, 2025
  • mate Public
    trusted-programming/mate’s past year of commit activity
    Rust 12 0 0 2 Updated Mar 25, 2025
  • cfmt Public
    trusted-programming/cfmt’s past year of commit activity
    Rust 3 Apache-2.0 1 0 0 Updated Feb 13, 2025
  • bsuccinct-rs Public Forked from beling/bsuccinct-rs

    Rust libraries and programs focused on succinct data structures

    trusted-programming/bsuccinct-rs’s past year of commit activity
    Rust 0 Apache-2.0 14 0 0 Updated Oct 1, 2024
  • ghost-runner Public

    stepping through code in a speculative (shadow) manner

    trusted-programming/ghost-runner’s past year of commit activity
    Rust 0 0 0 0 Updated Apr 24, 2024
  • speculate Public Forked from haxney/speculate

    A parallel speculation library for Rust

    trusted-programming/speculate’s past year of commit activity
    Rust 0 2 0 0 Updated Apr 17, 2024
  • count_loop Public
    trusted-programming/count_loop’s past year of commit activity
    Rust 0 0 0 0 Updated Mar 11, 2024

Top languages

Loading…

Most used topics

Loading…