runebak/LiCS
Algotihms for a logic course at DIKU
A RESTful Haskell web framework built on WAI.
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
Random stuff I found I needed while using in Yesod