kosmikus/life-regensburg

Stars
2
Language
Haskell
Created almost 10 years ago
Updated over 4 years ago

kosmikus/life-regensburg

kosmikus

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Simple Game of Life implementation developed at Regensburg Haskell meeting

lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

SSGEP

multirec

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

zipper

kaleidoscope-regensburg

toy implementation of Kaleidoscope language developed during Haskell Regensburg meetups

popl21-liquid-haskell-tutorial

safeint

cri

Common Random Interface

servant-regensburg

tilt

hkd-sop

Connecting higher-kinded datatypes and generics-sop

session-types-regensburg

exi

old attempt to rewrite Gentoo's emerge layer in Haskell

template-sop

simplediff-sop

sop-haskellx-2017

optics-regensburg

cufp-gp-tutorial-2015

Introduction to Type-Level and Generic Programming in Haskell

sop-haskellx-bytes-2017

Talk about generics-sop at HaskellX Bytes, Skills Matter, May 2017

Calculator

Haskell calculator sample

typed-template-haskell

GHC Plugin that allows using normal splices and quotes for Typed Template Haskell

type-inference-regensburg

lh-munihac2020

munihac-mastermind

Solution template

generic-programming-munihac-2018

hsrandom123

Counter-based Random Number Generators in Haskell

letters-brick

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

segfault-investigation

gdp-regensburg

roundtrip-regensburg

regensburg-sop

ghc-generics-from-sop

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

munihac-islist

munihac-types

inspection-testing-example