| Role |
Project |
Summary |
| Owner |
daj
|
DAJ - Interactive Execution of Distributed Algorithms |
| Owner |
erigone
|
The Erigone Model Checker |
| Owner |
gensat
|
Generate propositional formulas as Tseitin clauses |
| Owner |
idot
|
iDot - Incremental Dot Viewer |
| Owner |
jbaci
|
jBACI Concurrency Simulator Spinoff |
| Owner |
jspin
|
jSpin, SpinSpider, EUI - Tools for Teaching Concurrency with Spin and Erigone |
| Owner |
lojel
|
Integrating visualization software into learning objects |
| Owner |
lov
|
LOV - Learning Objects for Visualizations |
| Owner |
mlcs
|
Prolog programs for "Mathematical Logic for Computer Science" |
| Owner |
scratch-karel
|
Karel the Robot in Scratch |
| Owner |
scratch-unplugged
|
Scratch Programs for Computer Science Unplugged |
| Owner |
syntaxtrain
|
A Software Tool for Learning Syntax |
| Owner |
v-n
|
VN - Visualization of Nondeterminism |