Vegard Nossum

icon indicating an email [email protected]

icon company @Oracle icon location Verneuil-sur-Vienne, France

Results 7 repositories owned by Vegard Nossum

clsat

16
Stars
2
Forks
Watchers

OpenCL SAT solver

verified publisher icon vegard

cnf-utils

20
Stars
6
Forks
Watchers

Dimacs CNF utilities

verified publisher icon vegard

prog-fuzz

123
Stars
12
Forks
Watchers

Compiler/source code fuzzing tool using AFL instrumentation

verified publisher icon vegard

rgbds-linux

32
Stars
2
Forks
Watchers

Rednex GameBoy Development System

verified publisher icon vegard

sha1-sat

44
Stars
14
Forks
Watchers

SAT instance generator for SHA-1

verified publisher icon vegard

v

16
Stars
1
Forks
Watchers

toy language/compiler

verified publisher icon vegard

libx86

15
Stars
15
Forks
Watchers

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

verified publisher icon vegard