andorp

bead

E-learning snap based server for special teaching purposes

py-contract

Simple examples from category theory using Python

cpdt

Certified Programming with Dependent Types - examples, learning material.

lentil

Access database entities through lenses.

oo-haskell

How Object Oriented programming can be encoded in Haskell

category-test-laws

Algebraic laws and QuickCheck properties of Haskell constructions.

CrackingTheCodingInterview

elim

Generic eliminators for ADTs

hackerrank

HtDP2

How to Design Programs 2 from EDX combined with shape functors and anamorphisms

learn-tt

A collection of resources for learning type theory.

agda

Agda is a dependently typed programming language / interactive theorem prover.

andorp.github.io

basic-sop

Basic examples and functions for generics-sop

bead-docker

Build docker image to bead

commercialhaskell

A special interest group for companies and individuals interested in commercial usage of Haskell

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

free-programming-books

:books: Freely available programming books

generic-random

Generic random generators

generics-sop

Generic Programming using True Sums of Products

ghc-proofs

Let GHC prove program equations for you

hal2016-website

Webseite for Haskell in Leipzig 2016

hlint

Haskell source code suggestions

hspec

A Testing Framework for Haskell

json-sop

Generic JSON (de)serialization using generics-sop

lang-experiments

monadic

Simple monadic framework for python

partial-evaluation

simple functional language to experiment with partial evaluation

quickcheck

Automatic testing of Haskell programs.

thentos

A tool for privacy-preserving identity management (PPIM)