Repositories list

• videography

  Public
  This repository contains documentation and tools for processing OPLSS video recordings.

  youtubetoolsffmpeg+ 1

  youtubetoolsffmpegav

  Ruby

  •11 fork•11 star•00 issues•00 pull requests•Updated Jul 1, 2021Jul 1, 2021

• oplss-notes-2021

  Public
  Materials for OPLSS 2021

  Creative Commons Zero v1.0 Universal

  •00 forks•1111 stars•00 issues•00 pull requests•Updated Jun 1, 2021Jun 1, 2021

• oplss-notes-2019

  Public
  Notes and handouts from OPLSS 2019

  TeX

  •1616 forks•3535 stars•11 issue•00 pull requests•Updated Jun 28, 2019Jun 28, 2019

• participant-talks-2018

  Public
  Slides from evening short presentations given by OPLSS 2018 attendees

  HTML

  •33 forks•77 stars•00 issues•11 pull request•Updated Jul 25, 2018Jul 25, 2018

• oplss-notes-2018

  Public
  Notes and handouts from OPLSS 2018

  Haskell

  •66 forks•5555 stars•00 issues•00 pull requests•Updated Jul 23, 2018Jul 23, 2018

• introduction-to-algebraic-effects-and-handlers

  Public
  Introduction to algebraic effects and handlers

  TeX

  •

  MIT License

  •44 forks•100100 stars•00 issues•00 pull requests•Updated Jul 21, 2018Jul 21, 2018

• oplss-notes-2017

  Public
  handouts and notes from the 2017 edition of the summer school

  Racket

  •1010 forks•3939 stars•00 issues•00 pull requests•Updated Jul 13, 2017Jul 13, 2017