Repositories list

• documents

  Public
  Documents for various courses

  TeX

  •0•1•0•0•Updated Jan 21, 2016Jan 21, 2016

• dashboard

  Public
  Dashboard for viewing, requesting, and receiving test results.

  JavaScript

  •0•1•9•0•Updated Jul 29, 2015Jul 29, 2015

• kodkod

  Public
  Kodkod relational model finder

  Java

  •

  Other

  •3•3•14•0•Updated May 18, 2014May 18, 2014

• test-models

  Public
  Multi-objective optimization problems, expressed as Alloy

  Ruby

  •0•0•0•0•Updated Apr 23, 2014Apr 23, 2014

• moolloy

  Public
  Parent repo for moolloy.

  0•1•1•0•Updated Mar 17, 2014Mar 17, 2014

• demo

  Public
  Ruby

  •0•0•0•0•Updated Mar 16, 2014Mar 16, 2014

• worker

  Public
  Workers to run multi-objective problems

  Ruby

  •0•1•6•1•Updated Mar 10, 2014Mar 10, 2014

• results

  Public
  Shell

  •0•0•0•0•Updated Feb 2, 2014Feb 2, 2014