David Nilsson's starred repositories
reversetreeenhancer
User script for a better experince when using a reverse tree on Duolingo
distributed-process-zookeeper
A Zookeeper backend for Cloud Haskell.
latex-mall
Alla moderna bekvämligheter
static-analysis
Explorations into static analysis on assembly type DSL
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
complexity
Report on parameterized complexity theory and subgraph counting
regexp-automata
Regexp simulation using finite automata.
dtd-verifier
DTD verification using NDPDA.
JTAGWhisperer
Yes, your Arduino can replace an expensive JTAG cable!
minijava-compiler
Compiler for the Minijava language.
count-subgraphs
Implementation of count-thin-subgraphs (Björklund, Kaski, Kowalik; 2013).
cassandra-cql
Haskell client for Cassandra's CQL protocol
fpga-cluster-hw
FPGA cluster prototype hardware