Skip to content
@ucsd-cse230

ucsd-cse230

Popular repositories Loading

  1. wi25 wi25 Public

    Course materials for UCSD CSE 230 Principles of Programming Languages Winter 2025

    Lean 5 4

  2. 03-transformers 03-transformers Public template

    Starter code for assignment 03-transformers

    Haskell 1 3

  3. fa21 fa21 Public

    Public materials for UCSD CSE 230 Fall 2021

    Haskell 1 5

  4. sp20 sp20 Public

    Public course materials for Spring 2020

    Haskell 1

  5. 00-lambda 00-lambda Public template

    Haskell 5

  6. 01-trees 01-trees Public template

    Starter code for assignment 01-trees

    Haskell 9

Repositories

Showing 10 of 14 repositories
  • wi25 Public

    Course materials for UCSD CSE 230 Principles of Programming Languages Winter 2025

    ucsd-cse230/wi25’s past year of commit activity
    Lean 5 MIT 4 0 1 Updated Jan 30, 2025
  • docker-images Public
    ucsd-cse230/docker-images’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Jan 27, 2025
  • 01-lean-expressions Public template

    HW1 for CSE 230

    ucsd-cse230/01-lean-expressions’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 21, 2025
  • 00-lean-induction Public template

    Homework assignment 0 for CSE 230

    ucsd-cse230/00-lean-induction’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 9, 2025
  • ucsd-cse230-wi25-00-induction-00-lean-induction Public

    ucsd-cse230-wi25-00-induction-00-lean-induction created by GitHub Classroom

    ucsd-cse230/ucsd-cse230-wi25-00-induction-00-lean-induction’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 8, 2025
  • 04-liquid Public template

    Programming assignment on Refinement Types

    ucsd-cse230/04-liquid’s past year of commit activity
    Haskell 0 0 0 0 Updated Dec 7, 2023
  • fa23 Public

    Public course materials for UCSD CSE 230 Programming Languages

    ucsd-cse230/fa23’s past year of commit activity
    Haskell 0 MIT 4 0 0 Updated Nov 30, 2023
  • 03-transformers Public template

    Starter code for assignment 03-transformers

    ucsd-cse230/03-transformers’s past year of commit activity
    Haskell 1 MIT 3 0 0 Updated Nov 21, 2023
  • 02-while Public template

    Starter code for 02-while

    ucsd-cse230/02-while’s past year of commit activity
    Haskell 0 MIT 5 0 0 Updated Oct 27, 2023
  • 01-trees Public template

    Starter code for assignment 01-trees

    ucsd-cse230/01-trees’s past year of commit activity
    Haskell 0 MIT 9 0 0 Updated Oct 12, 2023
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…