Tournament related algorithms in Haskell
MIT License
An opinionated list of resources for learning Haskell
A Haskell library for object-oriented programming
Haskell to VHDL/Verilog/SystemVerilog compiler
A self-hosting mini Haskell compiler with a mini C runtime.
A monad for interfacing with external SAT solvers
Quick-and-dirty Haskell implementation of everyone's favorite falling blocks game.
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Po...
🌳 a monadic FRP game library for haskell
checkers for algebra driven design
Thin abstraction layer over the Haskell OpenCL library.
Convert Haskell source code to Coq source code.