davnils/spartan-dev-board

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Created over 13 years ago
Updated over 13 years ago

davnils/spartan-dev-board

davnils

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

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

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

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