qvt

Karlsruhe Institute of Technology (KIT)Germany

Pinned Repositories

mac-pixel-clock-patch-V2
Language:Shell994 46 348221
echo
Echo
Language:Java0 1 00
mac-pixel-clock-patch-V2
Language:Shell0 1 00
qvtom
A Modular Extension for QVTo
Language:CSS01
qvtr2coq
Encoding QVT-R Transformations in Coq
Language:Java10
tca
Remodularizing QVT-O and Xtend Transformations with Bunch
Language:Xtend00
vc
PROCESSING library for programming the VisualCube1e3 device
Language:Processing00
xtend2m
A Modular Extension for Xtend
Language:Java0 3 01

qvt's Repositories

qvt/qvtr2coq
Encoding QVT-R Transformations in Coq
Language:Java10
qvt/echo
Echo
Language:Java0 1 00
qvt/mac-pixel-clock-patch-V2
Language:Shell0 1 00
qvt/qvtom
A Modular Extension for QVTo
Language:CSS01
qvt/tca
Remodularizing QVT-O and Xtend Transformations with Bunch
Language:Xtend00
qvt/vc
PROCESSING library for programming the VisualCube1e3 device
Language:Processing00
qvt/xtend2m
A Modular Extension for Xtend
Language:Java0 3 01