Team Amalgam

Pinned Repositories

dashboard
Dashboard for viewing, requesting, and receiving test results.
Language:JavaScript10
demo
Language:Ruby0 6 00
documents
Documents for various courses
Language:TeX10
kodkod
Kodkod relational model finder
Language:Java3 4 340
moolloy
Parent repo for moolloy.
1 7 20
results
Language:Shell0 7 00
test-models
Multi-objective optimization problems, expressed as Alloy
Language:Ruby00
worker
Workers to run multi-objective problems
Language:Ruby1 3 210

Team Amalgam's Repositories

TeamAmalgam/kodkod
Kodkod relational model finder
Language:Java3 4 340
TeamAmalgam/dashboard
Dashboard for viewing, requesting, and receiving test results.
Language:JavaScript10
TeamAmalgam/documents
Documents for various courses
Language:TeX10
TeamAmalgam/moolloy
Parent repo for moolloy.
1 7 20
TeamAmalgam/worker
Workers to run multi-objective problems
Language:Ruby1 3 210
TeamAmalgam/demo
Language:Ruby0 6 00
TeamAmalgam/results
Language:Shell0 7 00
TeamAmalgam/test-models
Multi-objective optimization problems, expressed as Alloy
Language:Ruby00