Discover @davnils Open Source projects

David Nilsson (@davnils)

davnils

Stars
75
Global Rank 255,876 (Top 9 %)
Followers 24
Following 29
Registered over 13 years ago
Most used languages

Haskell
63.6 %

C++
13.6 %

TeX
9.1 %

Mathematica 4.5 %

Objective-C
4.5 %

C
4.5 %
Location 🇨🇿 Czechia
Country Total Rank 1,081
Country Ranking

Haskell
5

Mathematica 7

Objective-C
73

TeX
83

C++
367

C
453

spoty

Spotify web API in Haskell

katt

Unofficial Kattis client (beta)

sde-solver

Distributed SDE Solver

distr-btc

Distributed market fetching

blind-sqli-stats

Applied math + blind sql injections

kool

Distributed Cached C++ Compilation

thesis

Master's thesis: Fault detection in photovoltaic systems

spartan-dev-board

FPGA development board with a Xilinx Spartan-3A(N) 50k

while-lang-parser

While language parser

count-subgraphs

Implementation of count-thin-subgraphs (Björklund, Kaski, Kowalik; 2013).

regexp-automata

Regexp simulation using finite automata.

CV

Curriculum vitae

minijava-compiler

Compiler for the Minijava language.

avr-ethernet

ATmega168 with ENC28J60 ethernet chip

tsp-viz

Real time visualization of TSP tours.

complexity

Report on parameterized complexity theory and subgraph counting

avr-asm-dsl

AVR eDSL with verification

davnils.github.io

fenwick-semi

Fenwick trees over semigroups

dtd-verifier

DTD verification using NDPDA.

kattis-skeleton

Kattis C++ base

kex-sudoku

Bachelor thesis project; solving sudokus.

fpga-cluster-hw

FPGA cluster prototype hardware

formal-fft

Formally verified FFT and DFT implementation

static-analysis

Explorations into static analysis on assembly type DSL