Popular repositories Loading

1. ringsat ringsat Public

   CDCL SAT-solver for GPUs

   Cuda 9 4

2. meritrank-python meritrank-python Public

   MeritRank decentralized subjective social ranking algorithm - python microservice

   Python 3 1

3. polygon-dash polygon-dash Public

   Forked from GuardianLabs/polygon-dash

   Miner watch dashboard for Polygon

   Python 1

4. proto proto Public

   SAT backdoor search package

   C++

5. nestedloopsfusion nestedloopsfusion Public

   LLVM branching optimization transformation pass for GPUs

   Shell

6. libtorrent libtorrent Public

   Forked from arvidn/libtorrent

   an efficient feature complete C++ bittorrent implementation

   C++