Skip to content

@DavisPL UC Davis PL

Change the repository type filter

All

    Repositories list

    11 repositories

    • cargo-sherlock

      Public
      Cargo Sherlock 🕵️ is an automated reasoning tool for modeling and understanding trust in the Rust supply chain ecosystem.
      Rust
      •
      MIT License
      •1•13•5•0•Updated Nov 7, 2025Nov 7, 2025

    • coenobita

      Public
      Static capabilities and information flow control for Rust 🐚
      Rust
      •
      MIT License
      •0•2•0•0•Updated Oct 15, 2025Oct 15, 2025

    • lhs

      Public
      Yet another Rust MIR analysis tool
      Rust
      •
      MIT License
      •0•15•1•0•Updated Aug 22, 2025Aug 22, 2025

    • PCCC

      Public
      Proof-carrying code completions in Dafny
      C#
      •
      Other
      •0•10•4•1•Updated Apr 4, 2025Apr 4, 2025

    • latex-template

      Public template
      LaTeX paper template
      Shell
      •
      MIT License
      •1•0•1•0•Updated Mar 26, 2025Mar 26, 2025

    • coenobita-case-studies

      Public
      Rust
      •0•0•0•0•Updated Mar 17, 2025Mar 17, 2025

    • rust-plugin

      Public template
      Rust
      •
      MIT License
      •0•3•0•0•Updated Jan 9, 2025Jan 9, 2025

    • 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