Popular repositories Loading

1. weakest-pre weakest-pre Public

   Coq 4

2. cursesnake cursesnake Public

   Terminal snake game

   C

3. git-server git-server Public

   Forked from devhub-tud/git-server

   A git-server with a REST API and backed by Gitolite

   Java

4. devhub devhub Public

   Forked from devhub-tud/devhub

   DevHub is a software system designed to give students a simple practical introduction into modern software development.

   Java

5. jpacman-framework jpacman-framework Public

   Forked from SERG-Delft/jpacman-framework

   Pacman-inspired game, for teaching testing purposes.

   Java 1

6. jpacman-mvn-multimodule jpacman-mvn-multimodule Public

   Forked from SERG-Delft/jpacman-mvn-multimodule

   Setup of JPacman using maven's module mechanism facilitating cross module coverage in, e.g., IntelliJ