Repositories list

• 189c

  Public
  Software Correctness

  Python

  •

  MIT License

  •2•3•0•0•Updated Dec 19, 2025Dec 19, 2025

• 261

  Public
  Program verification

  Python

  •

  MIT License

  •1•7•0•0•Updated Dec 19, 2025Dec 19, 2025

• 119

  Public
  Data processing pipelines

  Python

  •

  MIT License

  •12•13•0•0•Updated Dec 9, 2025Dec 9, 2025

• 119-hw2

  Public
  Python

  •

  MIT License

  •10•0•0•0•Updated Dec 6, 2025Dec 6, 2025

• 119-hw1

  Public template
  Python

  •

  MIT License

  •19•1•0•1•Updated Nov 1, 2025Nov 1, 2025

• 261-hw4

  Public
  TeX

  •

  MIT License

  •0•0•0•0•Updated Jun 4, 2025Jun 4, 2025

• 261-hw3

  Public
  Dafny

  •

  MIT License

  •0•0•0•0•Updated May 9, 2025May 9, 2025

• 261-hw1

  Public
  ECS 261 Homework 1: Writing Specifications in Hypothesis and Z3

  Python

  •

  MIT License

  •1•0•0•0•Updated May 9, 2025May 9, 2025

• 261-hw2

  Public
  TeX

  •

  MIT License

  •0•0•0•0•Updated May 7, 2025May 7, 2025

• 189c-hw1

  Public template
  Python

  •

  MIT License

  •0•0•0•0•Updated Apr 8, 2025Apr 8, 2025

• .github

  Public
  MIT License

  •0•0•0•0•Updated Aug 1, 2024Aug 1, 2024

• 189c-hw4

  Public template
  Dafny

  •

  MIT License

  •0•0•0•0•Updated Jun 7, 2024Jun 7, 2024

• 189c-hw3

  Public template
  Python

  •

  MIT License

  •0•0•0•0•Updated May 27, 2024May 27, 2024

• 189c-hw5

  Public template
  HW5 on Rust -- this homework is optional.

  Rust

  •0•0•0•0•Updated May 25, 2024May 25, 2024

• 289c

  Public
  Seminar in Programming Languages

  MIT License

  •0•4•0•0•Updated May 15, 2024May 15, 2024

• 189c-hw2

  Public template
  Python

  •

  MIT License

  •0•0•0•0•Updated May 8, 2024May 8, 2024

• 189c-hw0

  Public
  MIT License

  •0•0•0•0•Updated Apr 3, 2024Apr 3, 2024