1-day longest streak
Hi there 👋 I'm Vegard. I like to tinker with all things programming-related, whether it's SAT solvers, the Linux kernel, shadertoy, fuzzing, compilers, or console hacking. Feel free to get…
Hi there 👋
I'm Vegard. I like to tinker with all things programming-related, whether it's SAT solvers, the Linux kernel, shadertoy, fuzzing, compilers, or console hacking.
Feel free to get in touch by [email](mailto:[email protected]) or Mastodon, I'm happy to hear from people and help out where I can!
-
sha1-sat ★ PINNED
SAT instance generator for SHA-1
C++ ★ 52 5y agoExplain → -
v ★ PINNED
toy language/compiler
C++ ★ 18 6y agoExplain → -
rgbds-linux ★ PINNED
Rednex GameBoy Development System
C ★ 33 8y agoExplain → -
pledge-of-conduct ★ PINNED
Pledge of Conduct
★ 1 7y agoExplain → -
x86-entry-fuzz ★ PINNED ⑂
No description.
C++ ★ 0 5y agoExplain → -
prog-fuzz
Compiler/source code fuzzing tool using AFL instrumentation
C++ ★ 126 8y agoExplain → -
cnf-utils
Dimacs CNF utilities
C++ ★ 20 15y agoExplain → -
clsat
OpenCL SAT solver
C++ ★ 16 15y agoExplain → -
libx86
C++ interface to x86/x86-64 registers and data structures
C++ ★ 15 14y agoExplain → -
beach-gbc
Beach (GameBoy Color demo)
Python ★ 14 6y agoExplain → -
mkbtcaddr
Generate encrypted bitcoin keypair
C++ ★ 11 15y agoExplain → -
openssh-portable ⑂
Portable OpenSSH
C ★ 6 9y agoExplain → -
blender-lba
Import LBA1 HQR files in Blender
Python ★ 6 5y agoExplain → -
pwman
JavaScript Password Manager
JavaScript ★ 5 15y agoExplain → -
linux-2.6-archive ⑂ ▣
Linux 2.6
C ★ 5 5y agoExplain → -
cafebabe
a light-weight Java-class-file loader library in C
C ★ 4 17y agoExplain → -
scribe
A 3D pixel engine/game
C++ ★ 4 18y agoExplain → -
pixel-art
Procedural pixel art rendering
JavaScript ★ 3 4y agoExplain → -
pldata
Project Legilimensia (Harry Potter MUD) Data
Perl ★ 3 16y agoExplain → -
cmpsat
Mladen Nikolić's tool for comparing sample runtime distributions of SAT solvers
C++ ★ 3 14y agoExplain → -
trick2
sound synthesizer and sequencer
C++ ★ 2 17y agoExplain → -
openbrain
Brain simulation
C++ ★ 2 17y agoExplain → -
trick
sound synthesizer and sequencer
C++ ★ 2 17y agoExplain → -
sha1-collision
SHA1 collision visualisation
Python ★ 2 9y agoExplain → -
cnf3d
CNF 3D visualiser
C++ ★ 2 15y agoExplain → -
minisat-www
MiniSat in a browser
C++ ★ 2 14y agoExplain → -
siglemic.net
Source code for siglemic.net website
Python ★ 1 12y agoExplain → -
able
"Able" is a challenging, physics-based puzzle game where your task is to climb to the top using only the strength of your arms.
C++ ★ 1 4y agoExplain → -
libcxxrt
libcxxrt port for the Linux kernel
C++ ★ 1 10y agoExplain → -
linux ⑂
Linux kernel source tree
★ 1 4y agoExplain → -
bitcoin ⑂
Bitcoin integration/staging tree
C++ ★ 1 12y agoExplain → -
hiragana
Hiragana tutor
JavaScript ★ 1 17y agoExplain → -
auto-qa
Automatic testing of the linux kernel
Perl ★ 1 17y agoExplain → -
spaceinv
More Space Invaders
C++ ★ 1 16y agoExplain → -
satxx11
Parallel SAT solver
C++ ★ 1 14y agoExplain → -
medici
Medici - The Da Vinci Journals (GBA)
C++ ★ 1 14y agoExplain → -
sat2013-cryptocompo
SAT 2013 “Crypto Competition” proposal
Shell ★ 1 13y agoExplain → -
jato ⑂
Jato GSoC 2009: Replacing Jam VM
C ★ 1 17y agoExplain → -
yo ⑂
A fast and simple command line OCI client
★ 0 2mo agoExplain → -
vegard.github.io
My GitHub Pages
HTML ★ 0 2y agoExplain → -
sphinx ⑂
The Sphinx documentation generator
★ 0 2y agoExplain → -
shadow ⑂
Upstream shadow tree
★ 0 3y agoExplain → -
vegard
About me
★ 0 3y agoExplain → -
Stockfish ⑂
UCI chess engine
C++ ★ 0 9y agoExplain → -
future_cxx ⑂
Work done today for the glory of tomorrow - or, C++ papers.
★ 0 5y agoExplain → -
win32 ⑂
Public mirror for win32-pr
★ 0 5y agoExplain → -
creduce ⑂
C-Reduce, a C program reducer
★ 0 6y agoExplain → -
reference ⑂
The Rust Reference
CSS ★ 0 6y agoExplain → -
samplemod ⑂
Sample module for Python-Guide.org.
Python ★ 0 10y agoExplain → -
kernel-fuzzing ⑂
Fuzzers for the Linux kernel
Hack ★ 0 9y agoExplain → -
afl-fuzz ⑂
Mirror of afl-fuzz, a fuzzer with compiler instrumentation. The original source is only distributed over HTTP. SHA256 checksums verified by downloading from multiple networks.
C ★ 0 11y agoExplain → -
drawing-prompt
Random idea generator
Python ★ 0 10y agoExplain → -
libunwind ⑂
libunwind port for the Linux kernel
C ★ 0 10y agoExplain → -
dpkg ⑂
UNOFFICIAL personal working fork of Debian's package manager
C ★ 0 16y agoExplain → -
supaplex-gba
Supaplex on the GBA
C++ ★ 0 13y agoExplain → -
udis86 ⑂
Disassembler Library for x86 and x86-64
C ★ 0 10y agoExplain →
No repos match these filters.