Explore projects

All query executors.

Project by Tingting Zhang and supervised by Michael Behrisch.

Agda model of our generic diff algorithm.

Scrapes Google Images for Kinetikids data Based on https://github.com/ohyicong/Google-Image-Scraper.git

Lambda 2 Vector

This is a demo repository!

When you dishonor your family and have to commit Sudoku.

<3 <3 <3

The broker driver.

All schema retrieval code.

Key value store driver.

This service is not part of the backbone. It provides team members with up to date documentation of different projects and code coverage as well.

SQL deeply embedded in Haskell