Pinned Repositories
avr-ethernet
ATmega168 with ENC28J60 ethernet chip
blind-sqli-stats
Applied math + blind sql injections
distr-btc
Distributed market fetching
katt
Unofficial Kattis client (beta)
kool
Distributed Cached C++ Compilation
sde-solver
Distributed SDE Solver
spartan-dev-board
FPGA development board with a Xilinx Spartan-3A(N) 50k
spoty
Spotify web API in Haskell
thesis
Master's thesis: Fault detection in photovoltaic systems
while-lang-parser
While language parser
davnils's Repositories
davnils/spoty
Spotify web API in Haskell
davnils/katt
Unofficial Kattis client (beta)
davnils/distr-btc
Distributed market fetching
davnils/sde-solver
Distributed SDE Solver
davnils/blind-sqli-stats
Applied math + blind sql injections
davnils/kool
Distributed Cached C++ Compilation
davnils/thesis
Master's thesis: Fault detection in photovoltaic systems
davnils/spartan-dev-board
FPGA development board with a Xilinx Spartan-3A(N) 50k
davnils/while-lang-parser
While language parser
davnils/avr-ethernet
ATmega168 with ENC28J60 ethernet chip
davnils/count-subgraphs
Implementation of count-thin-subgraphs (Björklund, Kaski, Kowalik; 2013).
davnils/CV
Curriculum vitae
davnils/minijava-compiler
Compiler for the Minijava language.
davnils/regexp-automata
Regexp simulation using finite automata.
davnils/tsp-viz
Real time visualization of TSP tours.
davnils/avr-asm-dsl
AVR eDSL with verification
davnils/complexity
Report on parameterized complexity theory and subgraph counting
davnils/davnils.github.io
My blog
davnils/dtd-verifier
DTD verification using NDPDA.
davnils/fenwick-semi
Fenwick trees over semigroups
davnils/formal-fft
Formally verified FFT and DFT implementation
davnils/fpga-cluster-hw
FPGA cluster prototype hardware
davnils/kattis-skeleton
Kattis C++ base
davnils/kex-sudoku
Bachelor thesis project; solving sudokus.
davnils/static-analysis
Explorations into static analysis on assembly type DSL
davnils/IRC-analyze
IRC traffic analysis