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