Repositories list

• cargo-sherlock

  Public
  Cargo Sherlock 🕵️ is an automated reasoning tool for modeling and understanding trust in the Rust supply chain ecosystem.

  Python

  •

  MIT License

  •1•12•3•0•Updated Feb 26, 2025Feb 26, 2025

• PCCC

  Public
  Proof-carrying code completions in Dafny

  C#

  •

  Other

  •0•7•6•1•Updated Feb 21, 2025Feb 21, 2025

• lhs

  Public
  Yet another Rust MIR analysis tool

  Rust

  •

  MIT License

  •0•13•0•0•Updated Feb 20, 2025Feb 20, 2025

• rust-plugin

  Public template
  Rust

  •

  MIT License

  •0•3•0•0•Updated Jan 9, 2025Jan 9, 2025

• coenobita-case-studies

  Public
  Rust

  •0•0•0•0•Updated Nov 12, 2024Nov 12, 2024

• coenobita

  Public
  Rust

  •

  MIT License

  •0•2•0•0•Updated Nov 10, 2024Nov 10, 2024

• latex-template

  Public template
  LaTeX paper template

  Shell

  •

  MIT License

  •1•0•1•0•Updated Oct 15, 2024Oct 15, 2024

• rust-counterexamples

  Public
  Examples violating memory safety in safe Rust.

  Rust

  •

  MIT License

  •0•9•0•0•Updated Oct 5, 2024Oct 5, 2024

• inlet

  Public
  A capability safe language based on Rust 🦀

  Rust

  •0•2•0•0•Updated Sep 4, 2024Sep 4, 2024

• coenobita-popl-src-24

  Public
  Zero-cost capabilities for Rust

  Rust

  •

  MIT License

  •0•4•1•0•Updated Jan 5, 2024Jan 5, 2024

• .github

  Public
  0•0•0•0•Updated Nov 8, 2023Nov 8, 2023