davnils

nbdkit

THIS REPO IS UNMAINTAINED. Go to --> https://gitlab.com/nbdkit/nbdkit

msgbuf

parent-child message passing using shared memory (mmap)

reversetreeenhancer

User script for a better experince when using a reverse tree on Duolingo

kool

Distributed Cached C++ Compilation

distributed-process-zookeeper

A Zookeeper backend for Cloud Haskell.

latex-mall

Alla moderna bekvämligheter

mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

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/)

hindent

Haskell pretty printer

http-mwu

test for differences between HTTP response times using the Mann-Whitney U test

f9r-dev2d

F9R-Dev simulator

dewdrop

Find gadgets for return-oriented programming on x86

spoty

Spotify web API in Haskell

s2e-old

This is the archived S2E 1.0 repo. We do not maintain it anymore.

complexity

Report on parameterized complexity theory and subgraph counting

Bang

A Drum Machine DSL for Haskell

regexp-automata

Regexp simulation using finite automata.

dtd-verifier

DTD verification using NDPDA.

simd

simple interface to ghc's simd vector support

HdpH

Haskell distributed parallel Haskell

JTAGWhisperer

Yes, your Arduino can replace an expensive JTAG cable!

minijava-compiler

Compiler for the Minijava language.

thesis

Master's thesis: Fault detection in photovoltaic systems

count-subgraphs

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

distr-btc

Distributed market fetching

cassandra-cql

Haskell client for Cassandra's CQL protocol

fpga-cluster-hw

FPGA cluster prototype hardware

mithril

In Soviet Russia, Mithril forges ELF.

analytics