tuebix / tuebix-downloads-2023 Star 2 Code Issues Pull requests [WIP] Downloads (slides and other resources) from the Tübix 2023 slides downloads tuebix Updated Jul 12, 2023 Haskell
tuebix / tuebix-downloads-2018 Star 2 Code Issues Pull requests Downloads (slides and audio) from the Tübix 2018 slides downloads tuebix Updated Jul 15, 2019 Shell
tuebix / tuebix-downloads-2015 Star 1 Code Issues Pull requests Downloads (slides and audio) from the Tübix 2015 slides downloads tuebix Updated Jul 15, 2019 C++
tuebix / tuebix-downloads-2016 Star 1 Code Issues Pull requests Downloads (slides and audio) from the Tübix 2016 slides downloads tuebix Updated May 7, 2019 Coq
tuebix / tuebix-downloads-2019 Star 1 Code Issues Pull requests [WIP] Downloads (slides and audio) from the Tübix 2019 slides downloads tuebix Updated Aug 4, 2019 HTML
tuebix / tuebix-downloads-2017 Star 1 Code Issues Pull requests Downloads (slides and audio) from the Tübix 2017 slides downloads tuebix Updated May 7, 2019 HTML
tuebix / tuebix-downloads-2024 Star 0 Code Issues Pull requests [WIP] Downloads (slides and other resources) from the Tübix 2024 slides downloads tuebix Updated Jun 30, 2024 Shell