Skip to content
View OKullmann's full-sized avatar

Block or report OKullmann

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
Showing results

My First Project

Java 1 Updated May 15, 2012

My First Project

Java 3 2 Updated Jun 6, 2012

poker from java to C++

C++ 1 Updated Sep 23, 2011

Some changes/improvements to the "CFU" tool by jdmcdaniel3 from OpenSuse.

Shell 1 Updated Jul 22, 2011

poker from java to C++

3 1 Updated Sep 23, 2011

Programs for algorithms module

C++ 6 4 Updated Dec 1, 2021

All the material which goes on the internet.

3 2 Updated Sep 19, 2009

A research platform and active library for generalised SAT solving

C++ 33 18 Updated Oct 9, 2024
Showing results