Andres Löh

lhs2tex. Preprocessor for typesetting Haskell sources with LaTeX

SSGEP. Haskell

multirec. Haskell

records-sop. Experimental implementation of generic record subtyping

indexed. Generic programming with indexed families

ghc-compact-holes. GHC patched with the -fcompact-holes flag

cufp-tutorial-2016. Materials for the CUFP 2016 tutorial on Generic and Type-Level Programming using generics-sop

safeint. Haskell

kaleidoscope-regensburg. toy implementation of Kaleidoscope language developed during Haskell Regensburg meetups

zipper. Haskell

popl21-liquid-haskell-tutorial. Haskell

cri. Common Random Interface

tilt. Haskell

template-sop. Haskell

hkd-sop. Connecting higher-kinded datatypes and generics-sop

exi. old attempt to rewrite Gentoo's emerge layer in Haskell

session-types-regensburg. Haskell

servant-regensburg. Haskell

optics-regensburg. Haskell

simplediff-sop. Haskell

cufp-gp-tutorial-2015. Introduction to Type-Level and Generic Programming in Haskell

lh-munihac2020. Haskell

sop-haskellx-2017. Haskell

hsbirthdays. Generate a list of upcoming birthdays

munihac-mastermind. Solution template

segfault-investigation. Haskell

regensburg-sop. Haskell

letters-brick. A reimagination of the classic "letters" game in Haskell using the brick library

ghc-generics-from-sop. Proof-of-concept "GGP" code for deriving GHC.Generics instances from generics-sop instances