Repositories list

• pl2-homework

  Public
  TeX

  •0•0•0•0•Updated Oct 25, 2024Oct 25, 2024

• pl1-2024

  Public
  Scala

  •0•2•0•0•Updated Aug 1, 2024Aug 1, 2024

• pl1-2024-hw-template

  Public template
  0•0•0•0•Updated Jul 10, 2024Jul 10, 2024

• pl1-lecture-notes

  Public
  Programming Languages I Lecture Notes

  Shell

  •1•10•2•0•Updated Jun 7, 2024Jun 7, 2024

• pl1-2023

  Public
  Material for course Programmiersprachen 1 (SS 2023)

  Scala

  •3•3•0•0•Updated Jul 17, 2023Jul 17, 2023

• itp-homework-11

  Public template
  Coq

  •0•0•0•0•Updated Jul 6, 2023Jul 6, 2023

• itp-homework-10

  Public template
  Coq

  •0•0•0•0•Updated Jun 28, 2023Jun 28, 2023

• pl1-2022

  Public
  Material for course Programmiersprachen 1 (SS 2022)

  Scala

  •5•1•0•0•Updated Aug 11, 2022Aug 11, 2022

• pl1-2021

  Public
  Material for course Programmiersprachen 1 (SS 2021)

  Scala

  •13•6•0•0•Updated Jul 21, 2021Jul 21, 2021

• pl1-2020

  Public
  Material for course Programmiersprachen 1 (SS 2020)

  Scala

  •10•2•0•0•Updated Jul 21, 2020Jul 21, 2020

• pl1-2019

  Public
  Material for course Programmiersprachen 1 (SS 2019)

  Scala

  •11•1•1•0•Updated Jul 19, 2019Jul 19, 2019

• itp-2018-assignment-9

  Public
  ITP 2018 Assignment 9

  Coq

  •0•0•1•0•Updated Dec 20, 2018Dec 20, 2018

• pl1-2018

  Public
  Material for course Programmiersprachen 1 (SS 2018)

  Scala

  •6•2•3•0•Updated Jul 16, 2018Jul 16, 2018