davnils/minijava-compiler
Compiler for the Minijava language.
Developer Profile
davnils
Discovered public repositories for davnils in the GitHub catalog.
davnils/thesis
Master's thesis: Fault detection in photovoltaic systems
davnils/count-subgraphs
Implementation of count-thin-subgraphs (Björklund, Kaski, Kowalik; 2013).
davnils/fpga-cluster-hw
FPGA cluster prototype hardware
davnils/distr-btc
Distributed market fetching
davnils/davnils.github.io
My blog
davnils/blind-sqli-stats
Applied math + blind sql injections
davnils/fenwick-semi
Fenwick trees over semigroups
davnils/while-lang-parser
While language parser
davnils/kattis-skeleton
Kattis C++ base
davnils/katt
Unofficial Kattis client (beta)
davnils/avr-asm-dsl
AVR eDSL with verification
davnils/formal-fft
Formally verified FFT and DFT implementation
davnils/tsp-viz
Real time visualization of TSP tours.
davnils/kex-sudoku
Bachelor thesis project; solving sudokus.
davnils/CV
Curriculum vitae
davnils/sde-solver
Distributed SDE Solver
davnils/avr-ethernet
ATmega168 with ENC28J60 ethernet chip
davnils/IRC-analyze
IRC traffic analysis
davnils/spartan-dev-board
FPGA development board with a Xilinx Spartan-3A(N) 50k