David Nilsson's repositories
sde-solver
Distributed SDE Solver
blind-sqli-stats
Applied math + blind sql injections
spartan-dev-board
FPGA development board with a Xilinx Spartan-3A(N) 50k
while-lang-parser
While language parser
avr-ethernet
ATmega168 with ENC28J60 ethernet chip
count-subgraphs
Implementation of count-thin-subgraphs (Björklund, Kaski, Kowalik; 2013).
minijava-compiler
Compiler for the Minijava language.
regexp-automata
Regexp simulation using finite automata.
avr-asm-dsl
AVR eDSL with verification
complexity
Report on parameterized complexity theory and subgraph counting
davnils.github.io
My blog
dtd-verifier
DTD verification using NDPDA.
fenwick-semi
Fenwick trees over semigroups
formal-fft
Formally verified FFT and DFT implementation
fpga-cluster-hw
FPGA cluster prototype hardware
kattis-skeleton
Kattis C++ base
kex-sudoku
Bachelor thesis project; solving sudokus.
static-analysis
Explorations into static analysis on assembly type DSL
IRC-analyze
IRC traffic analysis