Popular repositories Loading

1. metaSMT metaSMT Public

   Forked from agra-uni-bremen/metaSMT

   C++ 1

2. dependencies dependencies Public

   Forked from agra-uni-bremen/dependencies

   Shell 1

3. noVNC noVNC Public

   Forked from novnc/noVNC

   VNC client using HTML5 (Web Sockets, Canvas) with encryption (wss://) support.

   JavaScript

4. picosat picosat Public

   PicoSAT - A boolean satisfiablity solver

   C

5. slides-qualitytools-cpp slides-qualitytools-cpp Public

   Talk zum C++ User-Group Meeting Bremen März 2015

   HTML 1

6. googlemock googlemock Public

   Automatically exported from code.google.com/p/googlemock

   C++