serras

emacs-haskell-tutorial

Tutorial on setting up Emacs to do Haskell programming

hinc

Haskell In New Clothes

miso-start-template

Template for new Miso projects

cat-theory-lambdaconf-wr-2017

cobalt

COnstraint-BAsed Little Typechecker

HaskellsGameOfLife

A simple implementation of Conway's Game of Life

derivative-parsing

Parsing using derivatives

liquid-nats-plugins-example

Example project using LiquidHaskell and Natural Normalisation plug-ins

mini-system-f-impred

monadic-patterns

Extensible pattern matching using free monads

nacionlumpen-chat-haskell

Simple chat written in Haskell

ultimate-generics

avro-parser-haskell

Language definition and parser for AVRO (.avdl) files.

c2hs

c2hs is a pre-processor for Haskell FFI bindings to C libraries

charla-haskell-mad-2016

conduit

A streaming data library

helium

The Helium compiler, Helium-as-a-library, and the texthint interpreter

icfp2020-captions

ideas

Feedback services for intelligent tutoring systems

instant-generics

Code repository for the instant-generics library

liquidhaskell

Liquid Types For Haskell

makam-ideas

mu-haskell-sandbox

mu-scala-haskell-integration-tests

Mu-Scala/Mu-Haskell nightly integration tests

nix-tools

Translate Cabals Generic Package Description to a Nix expression

optics

Optics as an abstract interface

scalaz-zio

ZIO — A type-safe, composable library for asynchronous and concurrent programming in Scala

uuagc

uulib

The UUlib libraries

vscode-haskutil

VSCode extension for Haskell