Discover @vegard Open Source projects

Vegard Nossum (@vegard)

vegard

Stars
356
Global Rank 77,490 (Top 3 %)
Followers 137
Following 11
Registered about 16 years ago
Most used languages

C++
62.1 %

JavaScript
10.3 %

Python
10.3 %

Perl
6.9 %

C
6.9 %

Shell
3.4 %
Location 🇫🇷 France
Country Total Rank 2,093
Country Ranking

C++
150

Perl
179

C
575

Python
2,341

JavaScript
3,923

Shell
4,359

prog-fuzz

Compiler/source code fuzzing tool using AFL instrumentation

sha1-sat

SAT instance generator for SHA-1

rgbds-linux

Rednex GameBoy Development System

cnf-utils

Dimacs CNF utilities

clsat

OpenCL SAT solver

v

toy language/compiler

libx86

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

beach-gbc

Beach (GameBoy Color demo)

mkbtcaddr

Generate encrypted bitcoin keypair

blender-lba

Import LBA1 HQR files in Blender

pwman

JavaScript Password Manager

scribe

A 3D pixel engine/game

pixel-art

Procedural pixel art rendering

cafebabe

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

cmpsat

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

pldata

Project Legilimensia (Harry Potter MUD) Data

trick2

sound synthesizer and sequencer

cnf3d

CNF 3D visualiser

minisat-www

MiniSat in a browser

openbrain

Brain simulation

sha1-collision

SHA1 collision visualisation

trick

sound synthesizer and sequencer

libcxxrt

libcxxrt port for the Linux kernel

spaceinv

More Space Invaders

auto-qa

Automatic testing of the linux kernel

sat2013-cryptocompo

SAT 2013 “Crypto Competition” proposal

pledge-of-conduct

Pledge of Conduct

satxx11

Parallel SAT solver

hiragana

medici

Medici - The Da Vinci Journals (GBA)