Explore projects

The Coq development for Iris. [project website] [coqdoc]

Integrates programming and direct manipulation for CAD.

A simulator to visualize/analyze tracking data from VR

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

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

The main Coq development.

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

The Coq development for Iris. [project website] [coqdoc]

Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.

Instrumented version of Cassandra