Skip to content

@brown-cs22 Brown CS22

Change the repository type filter

All

    Repositories list

    5 repositories

    • CS22-Lean-2026

      Public
      Lean
      •9•0•0•1•Updated Apr 9, 2026Apr 9, 2026

    • unified-autograder

      Public
      Python
      •2•0•0•0•Updated Jan 29, 2026Jan 29, 2026

    • CS22-Lean-2025

      Public
      Lean
      •18•4•0•0•Updated Mar 7, 2025Mar 7, 2025

    • autograder

      Public
      📄 TeX Autograder for Gradescope - determines if TeX file successfully compiles
      TeX
      •1•0•0•0•Updated Jan 17, 2025Jan 17, 2025

    • CS22-Lean-2023

      Public
      Lean course materials for Brown CS 22, Spring 2023
      Lean
      •24•20•0•0•Updated Nov 20, 2023Nov 20, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.