Repositories list

• poly-ql

  Public
  Source code repository for Software Construction 2013-2014

  Java

  •

  Apache License 2.0

  •3•2•0•0•Updated Apr 19, 2022Apr 19, 2022

• multi-ql

  Public
  Java

  •2•0•0•0•Updated Apr 19, 2022Apr 19, 2022

• many-ql

  Public
  Many QL/QLS implementations of the year 2014-2015

  Java

  •8•5•0•0•Updated Oct 12, 2020Oct 12, 2020

• endless-ql

  Public
  QL @ Software Construction 2018

  Java

  •7•0•0•0•Updated Jul 16, 2020Jul 16, 2020

• ST2018_WG_4

  Public
  Haskell

  •0•0•5•0•Updated Oct 31, 2018Oct 31, 2018

• ST2018_WG_8

  Public
  Haskell

  •1•0•7•0•Updated Oct 24, 2018Oct 24, 2018

• ST2018_WG_11

  Public
  Haskell

  •0•0•1•0•Updated Oct 22, 2018Oct 22, 2018

• ST2018_WG_3

  Public
  Haskell

  •0•0•5•0•Updated Oct 19, 2018Oct 19, 2018

• ST2018_WG_9

  Public
  Haskell

  •0•2•5•0•Updated Oct 17, 2018Oct 17, 2018

• ST2018_WG_5

  Public
  HTML

  •0•2•6•0•Updated Oct 17, 2018Oct 17, 2018

• ST2018_WG_2

  Public
  Haskell

  •1•0•5•0•Updated Oct 17, 2018Oct 17, 2018

• ST2018_WG_7

  Public
  Haskell

  •0•0•4•0•Updated Oct 17, 2018Oct 17, 2018

• ST2018_WG_6

  Public
  Haskell

  •0•0•4•0•Updated Oct 16, 2018Oct 16, 2018

• ST2018_WG_10

  Public
  Solutions of Working Group No. 10

  quickcheck

  Haskell

  •0•1•5•0•Updated Oct 16, 2018Oct 16, 2018

• ST2018_WG_1

  Public
  Haskell

  •2•1•8•0•Updated Oct 16, 2018Oct 16, 2018

• ST2018_WG_12

  Public
  Haskell

  •0•0•0•0•Updated Sep 12, 2018Sep 12, 2018

• ST2017_WG_14

  Public
  Haskell

  •1•0•7•0•Updated May 27, 2018May 27, 2018

• software-construction

  Public
  Software Construction Course Information at Universiteit van Amsterdam

  11•17•1•0•Updated Mar 25, 2018Mar 25, 2018

• ST2017_WG_13

  Public
  Haskell

  •0•0•10•0•Updated Nov 25, 2017Nov 25, 2017

• ST2017_WG_11

  Public
  Haskell

  •0•1•11•0•Updated Oct 23, 2017Oct 23, 2017

• ST2017_WG_2

  Public
  Haskell

  •0•0•11•0•Updated Oct 23, 2017Oct 23, 2017

• ST2017_WG_9

  Public
  Haskell

  •0•0•9•0•Updated Oct 20, 2017Oct 20, 2017

• ST2017_WG_10

  Public
  Haskell

  •0•0•10•0•Updated Oct 18, 2017Oct 18, 2017

• ST2017_WG_3

  Public
  Haskell

  •0•0•0•0•Updated Oct 17, 2017Oct 17, 2017

• ST2017_WG_12

  Public
  Haskell

  •0•0•11•0•Updated Oct 16, 2017Oct 16, 2017

• ST2017_WG_7

  Public
  Haskell

  •0•0•9•0•Updated Oct 15, 2017Oct 15, 2017

• ST2017_WG_4

  Public
  Haskell

  •0•0•10•0•Updated Oct 15, 2017Oct 15, 2017

• ST2017_WG_5

  Public
  Haskell

  •0•0•9•0•Updated Oct 15, 2017Oct 15, 2017

• ST2017_WG_6

  Public
  Haskell

  •0•0•10•0•Updated Oct 15, 2017Oct 15, 2017

• ST2017_WG_8

  Public
  Haskell

  •0•0•10•0•Updated Oct 15, 2017Oct 15, 2017