Skip to content

@ucsd-cse230 ucsd-cse230

Change the repository type filter

All

    Repositories list

    10 repositories

    • wi25

      Public
      Course materials for UCSD CSE 230 Principles of Programming Languages Winter 2025
      MIT License
      •0•2•0•0•Updated Jan 3, 2025Jan 3, 2025

    • 04-liquid

      Public template
      Programming assignment on Refinement Types
      Haskell
      •
      Other
      •0•0•0•0•Updated Dec 7, 2023Dec 7, 2023

    • fa23

      Public
      Public course materials for UCSD CSE 230 Programming Languages
      Haskell
      •
      MIT License
      •4•0•0•0•Updated Nov 30, 2023Nov 30, 2023

    • 03-transformers

      Public template
      Starter code for assignment 03-transformers
      Haskell
      •
      MIT License
      •3•1•0•0•Updated Nov 21, 2023Nov 21, 2023

    • 02-while

      Public template
      Starter code for 02-while
      Haskell
      •
      MIT License
      •5•0•0•0•Updated Oct 27, 2023Oct 27, 2023

    • 01-trees

      Public template
      Starter code for assignment 01-trees
      Haskell
      •
      MIT License
      •9•0•0•0•Updated Oct 12, 2023Oct 12, 2023

    • 00-lambda

      Public template
      Haskell
      •
      MIT License
      •5•0•0•0•Updated Sep 26, 2023Sep 26, 2023

    • fa21

      Public
      Public materials for UCSD CSE 230 Fall 2021
      Haskell
      •
      MIT License
      •5•1•1•0•Updated Dec 7, 2021Dec 7, 2021

    • fa20

      Public
      Course materials for CSE 230, Fall 2020
      Haskell
      •
      MIT License
      •1•0•0•0•Updated Dec 8, 2020Dec 8, 2020

    • sp20

      Public
      Public course materials for Spring 2020
      Haskell
      •
      MIT License
      •1•0•0•1•Updated Jun 5, 2020Jun 5, 2020