Skip to content
@DavisPL

UC Davis PL

Research in Programming Languages at UC Davis, led by Caleb Stanford
README.md

Programming Languages at UC Davis

Welcome! This organization collects research projects in programming languages led by Caleb Stanford (GitHub: cdstanford) at UC Davis. If you're interested in getting involved, please get in touch with me by email (cdstanford ucdavis edu); you can also reach me on Twitter.

Sister organizations

Check out these related organizations at UC Davis!

Popular repositories Loading

  1. lhs lhs Public

    Yet another Rust MIR analysis tool

    Rust 13

  2. cargo-sherlock cargo-sherlock Public

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

    Python 12 1

  3. rust-counterexamples rust-counterexamples Public

    Examples violating memory safety in safe Rust.

    Rust 9

  4. PCCC PCCC Public

    Proof-carrying code completions in Dafny

    C# 7

  5. coenobita-popl-src-24 coenobita-popl-src-24 Public

    Zero-cost capabilities for Rust

    Rust 4

  6. rust-plugin rust-plugin Public template

    Rust 3

Repositories

Showing 10 of 12 repositories
  • cargo-sherlock Public

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

    DavisPL/cargo-sherlock’s past year of commit activity
    Python 12 MIT 1 3 0 Updated Feb 26, 2025
  • PCCC Public

    Proof-carrying code completions in Dafny

    DavisPL/PCCC’s past year of commit activity
    C# 7 0 6 1 Updated Feb 21, 2025
  • ParallelDeadState Public

    LaTeX paper template

    DavisPL/ParallelDeadState’s past year of commit activity
    TeX 0 MIT 0 0 0 Updated Feb 21, 2025
  • lhs Public

    Yet another Rust MIR analysis tool

    DavisPL/lhs’s past year of commit activity
    Rust 13 MIT 0 0 0 Updated Feb 20, 2025
  • rust-plugin Public template
    DavisPL/rust-plugin’s past year of commit activity
    Rust 3 MIT 0 0 0 Updated Jan 9, 2025
  • coenobita-case-studies Public
    DavisPL/coenobita-case-studies’s past year of commit activity
    Rust 0 0 0 0 Updated Nov 12, 2024
  • coenobita Public
    DavisPL/coenobita’s past year of commit activity
    Rust 2 MIT 0 0 0 Updated Nov 10, 2024
  • latex-template Public template

    LaTeX paper template

    DavisPL/latex-template’s past year of commit activity
    Shell 0 MIT 1 1 0 Updated Oct 15, 2024
  • rust-counterexamples Public

    Examples violating memory safety in safe Rust.

    DavisPL/rust-counterexamples’s past year of commit activity
    Rust 9 MIT 0 0 0 Updated Oct 5, 2024
  • inlet Public

    A capability safe language based on Rust 🦀

    DavisPL/inlet’s past year of commit activity
    Rust 2 0 0 0 Updated Sep 4, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…