tournament.hs

CLUtil

Thin abstraction layer over the Haskell OpenCL library.

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

sequoia

🌳 a monadic FRP game library for haskell

higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Po...

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

kleisli-functors

algebra-checkers

checkers for algebra driven design

lazy-tetrominoes

Quick-and-dirty Haskell implementation of everyone's favorite falling blocks game.

haskell-study-plan

An opinionated list of resources for learning Haskell

free-est

hoop

A Haskell library for object-oriented programming

hs-to-coq

Convert Haskell source code to Coq source code.

combinator-interactive

ersatz

A monad for interfacing with external SAT solvers