ContRap
The symbolic tool for software rapid prototyping
Resources
Talks and presentations
  • Weak dynamic types in C++

    Slides of a talk held in Passau about the general concepts of dynamic weak type systems. The particular approach reflects nearly one-to-one the implementation of the type system in ContRap.

Worksheets
Screenshots

Calibration (Linux)

Qt canvas (Mac)

OpenGL surface (Mac)