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.

    Jupyter Notebook 12 1

  3. PCCC PCCC Public

    Proof-carrying code completions in Dafny

    C# 10

  4. rust-counterexamples rust-counterexamples Public

    Examples violating memory safety in safe Rust.

    Rust 9

  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 11 repositories
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…