Pinned

1. siemens/kas siemens/kas Public

   Setup tool for bitbake based projects

   Python 320 145

2. dash-project/dash dash-project/dash Public

   DASH, the C++ Template Library for Distributed Data Structures with Support for Hierarchical Locality for HPC and Data-Driven Science

   C++ 154 44

3. siemens/drace siemens/drace Public

   Forked from fmoessbauer/drace

   Data-race detector for windows applications - built on top of DynamoRIO

   C++ 38 4

4. block-puzzle-solver block-puzzle-solver Public

   This program solves the 5x5x5 brick-cube-puzzle in less than one second by transforming it to a minimal-vertex-cover problem.

   C++ 2 1

5. haskell-nm-9morris haskell-nm-9morris Public

   Implementation of a nine men morris ai that communicates with the LMU NMN gameserver and handles all specified protocol cases. This implementation fullfills all usefull specifications given here: h…

   Haskell 2 1

6. LibMVC LibMVC Public

   LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.

   C++ 8 2