Popular repositories Loading

1. gpupsat gpupsat Public

   SAT solver for CUDA devices based on DPLL/CDCL algorithm

   Cuda 3 1

2. walksat-cuda walksat-cuda Public

   SAT solver for CUDA devices based on WalkSATlm algorithm

   Cuda 1 1

3. Serious-Engine Serious-Engine Public

   Forked from Croteam-official/Serious-Engine

   An open source version of a game engine developed by Croteam for the classic Serious Sam games.

   C++

4. DOOM-3-BFG DOOM-3-BFG Public

   Forked from id-Software/DOOM-3-BFG

   Doom 3 BFG Edition

   C++

5. ma5king ma5king Public

   Forked from bambams/ma5king

   An Allegro 5 port of Miran Amon's SKINnable Gui.

   C++

6. Quake-III-Arena Quake-III-Arena Public

   Forked from id-Software/Quake-III-Arena

   Quake III Arena GPL Source Release

   C