Skip to content

@trusted-programming trusted-programming

Change the repository type filter

All

    Repositories list

    28 repositories

    • mate

      Public
      Rust
      •0•5•0•0•Updated Oct 11, 2024Oct 11, 2024

    • bsuccinct-rs

      Public
      Rust libraries and programs focused on succinct data structures
      Rust
      •
      Apache License 2.0
      •10•0•0•0•Updated Oct 1, 2024Oct 1, 2024

    • trusted-programming.github.io

      Public
      HTML
      •1•4•0•0•Updated Jul 4, 2024Jul 4, 2024

    • cfmt

      Public
      Rust
      •
      Apache License 2.0
      •1•3•0•0•Updated May 7, 2024May 7, 2024

    • ghost-runner

      Public
      stepping through code in a speculative (shadow) manner
      Rust
      •0•0•0•0•Updated Apr 24, 2024Apr 24, 2024

    • speculate

      Public
      A parallel speculation library for Rust
      Rust
      •2•0•0•0•Updated Apr 17, 2024Apr 17, 2024

    • count_loop

      Public
      Rust
      •0•0•0•0•Updated Mar 11, 2024Mar 11, 2024

    • mate-benchmark

      Public
      0•0•0•0•Updated Dec 6, 2023Dec 6, 2023

    • rust-quiz

      Public
      Medium to hard Rust questions with explanations
      Rust
      •
      Creative Commons Attribution Share Alike 4.0 International
      •58•0•0•0•Updated Sep 24, 2023Sep 24, 2023

    • crusts

      Public
      Rust
      •
      Apache License 2.0
      •0•1•1•1•Updated Sep 4, 2023Sep 4, 2023

    • crusts-benchmarks

      Public
      Rust
      •0•0•0•0•Updated Jul 28, 2023Jul 28, 2023

    • rust-clippy

      Public
      A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
      Rust
      •
      Other
      •1.6k•0•0•0•Updated Jul 17, 2023Jul 17, 2023

    • rulegen_frontend

      Public
      TXL
      •0•0•0•0•Updated Jun 15, 2023Jun 15, 2023

    • rulegen_2

      Public
      TXL
      •0•0•0•0•Updated Jun 13, 2023Jun 13, 2023

    • tree-grepper

      Public
      Rust
      •
      Other
      •0•0•0•7•Updated May 24, 2023May 24, 2023

    • crown

      Public
      Ownership Guided C to Rust Translation
      Rust
      •4•0•0•0•Updated Apr 28, 2023Apr 28, 2023

    • test_gpt

      Public
      test_gpt
      Python
      •0•0•0•0•Updated Apr 27, 2023Apr 27, 2023

    • txl-rs

      Public
      Rust
      •
      Apache License 2.0
      •0•2•0•0•Updated Apr 16, 2023Apr 16, 2023

    • curs

      Public
      Rust
      •
      Apache License 2.0
      •0•2•3•0•Updated Apr 7, 2023Apr 7, 2023

    • rust-diagnostics

      Public
      Rust
      •
      Apache License 2.0
      •0•2•1•0•Updated Mar 23, 2023Mar 23, 2023

    • async

      Public
      Eliminate this constraint for performance - the local variables of asynchronous functions must implement Send Trait
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 18, 2023Feb 18, 2023

    • llvm-bugs

      Public
      0•0•1•0•Updated Feb 15, 2023Feb 15, 2023

    • infercode

      Public
      Python
      •0•2•0•0•Updated Feb 7, 2023Feb 7, 2023

    • inlay-hints

      Public
      Rust
      •0•2•1•0•Updated Feb 7, 2023Feb 7, 2023

    • warning-history

      Public
      Shell
      •0•1•0•0•Updated Jan 31, 2023Jan 31, 2023

    • rust-toolchain

      Public
      Trusted toolchain for end-to-end development, build, check, and test of Rust at scale
      Shell
      •
      Apache License 2.0
      •2•7•0•0•Updated Mar 8, 2022Mar 8, 2022

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •13k•1•0•0•Updated Nov 9, 2021Nov 9, 2021

    • cargo-aspect

      Public
      Aspect-oriented programming in Rust
      Rust
      •
      Apache License 2.0
      •1•11•0•0•Updated Nov 1, 2021Nov 1, 2021