Beast code in Giters

David Nilsson's repositories

spoty

Spotify web API in Haskell

Language:HaskellBSD-3-Clause13 4 2

katt

Unofficial Kattis client (beta)

Language:HaskellBSD-3-Clause8 3 7

distr-btc

Distributed market fetching

Language:HaskellBSD-3-Clause700

sde-solver

Distributed SDE Solver

Language:HaskellBSD-3-Clause7 20

blind-sqli-stats

Applied math + blind sql injections

Language:C++4 20

kool

Distributed Cached C++ Compilation

Language:Haskell400

thesis

Master's thesis: Fault detection in photovoltaic systems

Language:Mathematica400

spartan-dev-board

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

300

while-lang-parser

While language parser

Language:HaskellNOASSERTION300

avr-ethernet

ATmega168 with ENC28J60 ethernet chip

Language:C2 40

count-subgraphs

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

Language:C++200

CV

Curriculum vitae

Language:TeX200

minijava-compiler

Compiler for the Minijava language.

Language:HaskellBSD-3-Clause200

regexp-automata

Regexp simulation using finite automata.

Language:HaskellBSD-3-Clause2 10

tsp-viz

Real time visualization of TSP tours.

Language:HaskellBSD-3-Clause200

avr-asm-dsl

AVR eDSL with verification

Language:HaskellBSD-3-Clause1 2 3

complexity

Report on parameterized complexity theory and subgraph counting

Language:TeX1 20

davnils.github.io

My blog

1 20

dtd-verifier

DTD verification using NDPDA.

Language:HaskellBSD-3-Clause1 20

fenwick-semi

Fenwick trees over semigroups

Language:HaskellBSD-3-Clause100

formal-fft

Formally verified FFT and DFT implementation

Language:HaskellBSD-3-Clause100

fpga-cluster-hw

FPGA cluster prototype hardware

BSD-3-Clause100

kattis-skeleton

Kattis C++ base

Language:C++1 2 1

kex-sudoku

Bachelor thesis project; solving sudokus.

Language:Objective-C1 2 4

static-analysis

Explorations into static analysis on assembly type DSL

Language:HaskellBSD-3-Clause1 20

IRC-analyze

IRC traffic analysis

Language:Haskell000