Explore projects

The public repository accompanying the paper 'Paracosm: A Test Framework for Autonomous Driving Simulations'.

Integrates programming and direct manipulation for CAD.

A Programming and Direct Manipulation Environment for creating test environments/scenarios, especially for the case of Autonomous Driving.

A simulator to visualize/analyze tracking data from VR

3D visualization of asynchronous program executions.

Public repository of the paper 'Constraint Synthesis for Parametric CAD'.

The public repository of the paper "Interactive Programming for Parametric CAD".

Practical verification of numerical kernels

Code for computing sufficient, implementable and permissive assumptions.

The main Coq development.

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

The Coq development of LambdaRust