Skip to content
View nvzoll's full-sized avatar

Block or report nvzoll

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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