Ilya Mikhalev's repositories

gpupsat

SAT solver for CUDA devices based on DPLL/CDCL algorithm

Language:CudaLicense:Apache-2.0Stargazers:3Issues:0Issues:0

walksat-cuda

SAT solver for CUDA devices based on WalkSATlm algorithm

Language:CudaLicense:GPL-3.0Stargazers:1Issues:1Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

cs140e-win19

cs140e winter 2019 class materials.

Language:CStargazers:0Issues:1Issues:0

DOOM-3-BFG

Doom 3 BFG Edition

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:1Issues:0

linux-driver-examples

Kernel 4.10 Examples of linux drivers.. for practice and reference

Language:CStargazers:0Issues:1Issues:0

ma5king

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

Language:C++License:ZlibStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

Quake-III-Arena

Quake III Arena GPL Source Release

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

Serious-Engine

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

Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

wintun

Mirror only. Official repository is at https://git.zx2c4.com/wintun

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0