Skip to content
@UChicago-PL

UChicago-PL

Programming Languages Research @ UChicago

Popular repositories Loading

  1. smyth smyth Public

    Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

    OCaml 30 4

  2. cs11111-assets cs11111-assets Public

    Miscellaneous images, etc. for CMSC 11111

    JavaScript

  3. a-quarter-of-haskell a-quarter-of-haskell Public

    Haskell

  4. cs223-fa23-project-abargher cs223-fa23-project-abargher Public

    cs223-fa23-project-abargher created by GitHub Classroom

    Haskell

  5. cs223-fa23-project-junasano cs223-fa23-project-junasano Public

    cs223-fa23-project-junasano created by GitHub Classroom

    Haskell

Repositories

Showing 5 of 5 repositories
  • cs223-fa23-project-abargher Public

    cs223-fa23-project-abargher created by GitHub Classroom

    UChicago-PL/cs223-fa23-project-abargher’s past year of commit activity
    Haskell 0 0 0 1 Updated Dec 11, 2023
  • cs223-fa23-project-junasano Public

    cs223-fa23-project-junasano created by GitHub Classroom

    UChicago-PL/cs223-fa23-project-junasano’s past year of commit activity
    Haskell 0 MIT 0 0 1 Updated Dec 11, 2023
  • a-quarter-of-haskell Public
    UChicago-PL/a-quarter-of-haskell’s past year of commit activity
    Haskell 0 0 0 0 Updated Dec 6, 2022
  • cs11111-assets Public

    Miscellaneous images, etc. for CMSC 11111

    UChicago-PL/cs11111-assets’s past year of commit activity
    JavaScript 0 0 0 0 Updated Feb 22, 2022
  • smyth Public

    Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

    UChicago-PL/smyth’s past year of commit activity
    OCaml 30 MIT 4 12 (4 issues need help) 0 Updated Mar 12, 2021

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…