Random number library
FlashCard open source website https://izidict.com
Convert Haskell source code to Coq source code.
An opinionated list of resources for learning Haskell
Functional Programming in Games Resources
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...
Random stuff