kosmikus/records-sop

Stars
18
Rank 1,208,065 (Top 24 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 8 years ago
Updated 7 months ago

kosmikus/records-sop

kosmikus

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

Experimental implementation of generic record subtyping

lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

SSGEP

multirec

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

letters-brick

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

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