davnils

Prague

Pinned Repositories

avr-ethernet
ATmega168 with ENC28J60 ethernet chip
Language:C2 4 00
blind-sqli-stats
Applied math + blind sql injections
Language:C++4 2 00
distr-btc
Distributed market fetching
Language:Haskell70
katt
Unofficial Kattis client (beta)
Language:Haskell8 3 70
kool
Distributed Cached C++ Compilation
Language:Haskell41
sde-solver
Distributed SDE Solver
Language:Haskell7 2 01
spartan-dev-board
FPGA development board with a Xilinx Spartan-3A(N) 50k
30
spoty
Spotify web API in Haskell
Language:Haskell13 4 27
thesis
Master's thesis: Fault detection in photovoltaic systems
Language:Mathematica43
while-lang-parser
While language parser
Language:Haskell30

davnils's Repositories

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