runebak/LiCS
Algotihms for a logic course at DIKU
Random stuff I found I needed while using in Yesod
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Algotihms for a logic course at DIKU
Haskell program to compute the windowed cross correlation
A library for creating WebSocket-capable servers
A RESTful Haskell web framework built on WAI.