davnils/tsp-viz

Stars
2
Language
Haskell
License
BSD 3-Clause "New...
Created about 12 years ago
Updated almost 12 years ago

davnils/tsp-viz

davnils

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Real time visualization of TSP tours.

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

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