Beast code in Giters

Vegard Nossum's repositories

cnf-utils

Dimacs CNF utilities

Language:C++GPL-3.020 40

clsat

OpenCL SAT solver

Language:C++GPL-2.016 3 2

libx86

C++ interface to x86/x86-64 registers and data structures

Language:C++GPL-3.015 100

mkbtcaddr

Generate encrypted bitcoin keypair

Language:C++11 30

pwman

JavaScript Password Manager

Language:JavaScriptGPL-3.05 20

cafebabe

a light-weight Java-class-file loader library in C

Language:CGPL-2.0400

scribe

A 3D pixel engine/game

Language:C++400

cmpsat

Mladen Nikolić's tool for comparing sample runtime distributions of SAT solvers

Language:C++GPL-3.03 30

pldata

Project Legilimensia (Harry Potter MUD) Data

Language:PerlNOASSERTION300

cnf3d

CNF 3D visualiser

Language:C++BSD-3-Clause200

minisat-www

MiniSat in a browser

Language:C++2 20

openbrain

Brain simulation

Language:C++GPL-2.0200

trick

sound synthesizer and sequencer

Language:C++200

trick2

sound synthesizer and sequencer

Language:C++200

auto-qa

Automatic testing of the linux kernel

Language:Perl100

bitcoin

Bitcoin integration/staging tree

Language:C++MIT1 20

hiragana

Hiragana tutor

Language:JavaScript100

jato

Jato GSoC 2009: Replacing Jam VM

Language:C1 40

medici

Medici - The Da Vinci Journals (GBA)

Language:C++1 30

sat2013-cryptocompo

SAT 2013 “Crypto Competition” proposal

Language:Shell1 30

satxx11

Parallel SAT solver

Language:C++GPL-3.01 20

spaceinv

More Space Invaders

Language:C++100

dpkg

UNOFFICIAL personal working fork of Debian's package manager

Language:CGPL-2.0020

siglemic.net

Source code for siglemic.net website

Language:PythonNOASSERTION020

supaplex-gba

Supaplex on the GBA

Language:C++GPL-3.0020