Pinned Loading

1. modelzoo modelzoo Public

   Forked from autowarefoundation/modelzoo

   Python

2. common common Public

   Forked from autowarefoundation/autoware_ai_common

   C++

3. docker docker Public

   Forked from autowarefoundation/autoware_ai_docker

   CMake

4. Local_LotSizing Local_LotSizing Public

   Local search algorithm for the lot sizing problem

   C++

5. quipks quipks Public

   QUIPper Kripke Structure generator, a tool which converts a quantum circuit written in the Quipper language into a graph used for model checking purposes

   Haskell 1 1

6. dama-carla dama-carla Public

   Simple checkers game

   C