Skip to content
Change the repository type filter

All

    Repositories list

    • This repository contains documentation and tools for processing OPLSS video recordings.
      Ruby
      1100Updated Jul 1, 2021Jul 1, 2021
    • Materials for OPLSS 2021
      Creative Commons Zero v1.0 Universal
      01100Updated Jun 1, 2021Jun 1, 2021
    • Notes and handouts from OPLSS 2019
      TeX
      163410Updated Jun 28, 2019Jun 28, 2019
    • Slides from evening short presentations given by OPLSS 2018 attendees
      HTML
      3701Updated Jul 25, 2018Jul 25, 2018
    • Notes and handouts from OPLSS 2018
      Haskell
      65300Updated Jul 23, 2018Jul 23, 2018
    • Introduction to algebraic effects and handlers
      TeX
      MIT License
      49300Updated Jul 21, 2018Jul 21, 2018
    • handouts and notes from the 2017 edition of the summer school
      Racket
      103900Updated Jul 13, 2017Jul 13, 2017