kosmikus/letters-brick

Stars
1
Language
Haskell
Created over 4 years ago
Updated over 4 years ago

kosmikus/letters-brick

kosmikus

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

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

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

safeint

zipper

kaleidoscope-regensburg

toy implementation of Kaleidoscope language developed during Haskell Regensburg meetups

popl21-liquid-haskell-tutorial

cri

Common Random Interface

servant-regensburg

tilt

hkd-sop

Connecting higher-kinded datatypes and generics-sop

exi

old attempt to rewrite Gentoo's emerge layer in Haskell

template-sop

session-types-regensburg

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

life-regensburg

Simple Game of Life implementation developed at Regensburg Haskell meeting

type-inference-regensburg

lh-munihac2020

munihac-mastermind

Solution template

generic-programming-munihac-2018

hsrandom123

Counter-based Random Number Generators in Haskell

segfault-investigation

gdp-regensburg

roundtrip-regensburg

regensburg-sop

munihac-types

ghc-generics-from-sop

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

munihac-islist

inspection-testing-example