Skip to content
@DavisPL-Teaching

UC Davis PL Teaching

Teaching materials for UC Davis courses in programming languages taught by Caleb Stanford
README.md

Programming Languages Teaching at UC Davis

Welcome! This organization collects coursework in programming languages and related areas led by Caleb Stanford (GitHub: cdstanford) at UC Davis. You are probably looking for one of the courses I teach: see list here for links or you can directly browse the repositories above.

If you're interested in programming languages research, check out the main DavisPL organization.

Popular repositories Loading

  1. 119 119 Public

    Data processing pipelines

    Python 6 6

  2. 261 261 Public

    Program verification

    Python 6 1

  3. 189c 189c Public

    Software Correctness

    Python 4 2

  4. 289c 289c Public

    Seminar in Programming Languages

    4

  5. 189c-hw1 189c-hw1 Public template

    Python

  6. 189c-hw0 189c-hw0 Public

Repositories

Showing 10 of 14 repositories
  • 261-hw1 Public

    ECS 261 Homework 1: Writing Specifications in Hypothesis and Z3

    DavisPL-Teaching/261-hw1’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Apr 12, 2025
  • 261 Public

    Program verification

    DavisPL-Teaching/261’s past year of commit activity
    Python 6 MIT 1 0 0 Updated Apr 10, 2025
  • 189c-hw1 Public template
    DavisPL-Teaching/189c-hw1’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Apr 8, 2025
  • 119 Public

    Data processing pipelines

    DavisPL-Teaching/119’s past year of commit activity
    Python 6 MIT 6 0 0 Updated Dec 7, 2024
  • 119-hw2 Public
    DavisPL-Teaching/119-hw2’s past year of commit activity
    Python 0 MIT 2 0 0 Updated Dec 5, 2024
  • 119-hw1 Public template
    DavisPL-Teaching/119-hw1’s past year of commit activity
    Python 0 MIT 9 0 0 Updated Nov 19, 2024
  • .github Public
    DavisPL-Teaching/.github’s past year of commit activity
    0 MIT 0 0 0 Updated Aug 1, 2024
  • 189c Public

    Software Correctness

    DavisPL-Teaching/189c’s past year of commit activity
    Python 4 MIT 2 0 0 Updated Jun 17, 2024
  • 189c-hw4 Public template
    DavisPL-Teaching/189c-hw4’s past year of commit activity
    Dafny 0 MIT 0 0 0 Updated Jun 7, 2024
  • 189c-hw3 Public template
    DavisPL-Teaching/189c-hw3’s past year of commit activity
    Python 0 MIT 0 0 0 Updated May 27, 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.

Most used topics

Loading…