kosmikus/hkd-sop kosmikus/hkd-sop

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kosmikus/hkd-sop
github

kosmikus

Reviews

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

Repository Details

Connecting higher-kinded datatypes and generics-sop

More Repositories

1

lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX
Haskell
98
star
2

SSGEP

Haskell
87
star
3

multirec

Haskell
20
star
4

records-sop

Experimental implementation of generic record subtyping
Haskell
18
star
5

indexed

Generic programming with indexed families
13
star
6

ghc-compact-holes

GHC patched with the -fcompact-holes flag
Nix
11
star
7

cufp-tutorial-2016

Materials for the CUFP 2016 tutorial on Generic and Type-Level Programming using generics-sop
Haskell
9
star
8

safeint

Haskell
8
star
9

zipper

Haskell
7
star
10

kaleidoscope-regensburg

toy implementation of Kaleidoscope language developed during Haskell Regensburg meetups
Haskell
7
star
11

popl21-liquid-haskell-tutorial

Haskell
7
star
12

cri

Common Random Interface
Haskell
6
star
13

servant-regensburg

Haskell
4
star
14

tilt

Haskell
4
star
15

exi

old attempt to rewrite Gentoo's emerge layer in Haskell
Haskell
4
star
16

template-sop

Haskell
4
star
17

session-types-regensburg

Haskell
4
star
18

simplediff-sop

Haskell
3
star
19

sop-haskellx-2017

Haskell
3
star
20

optics-regensburg

Haskell
3
star
21

cufp-gp-tutorial-2015

Introduction to Type-Level and Generic Programming in Haskell
Haskell
3
star
22

sop-haskellx-bytes-2017

Talk about generics-sop at HaskellX Bytes, Skills Matter, May 2017
Haskell
2
star
23

Calculator

Haskell calculator sample
Haskell
2
star
24

typed-template-haskell

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

life-regensburg

Simple Game of Life implementation developed at Regensburg Haskell meeting
Haskell
2
star
26

type-inference-regensburg

Haskell
2
star
27

lh-munihac2020

Haskell
2
star
28

munihac-mastermind

Solution template
Haskell
2
star
29

generic-programming-munihac-2018

Haskell
2
star
30

hsrandom123

Counter-based Random Number Generators in Haskell
Haskell
2
star
31

letters-brick

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

segfault-investigation

Haskell
1
star
33

gdp-regensburg

Haskell
1
star
34

roundtrip-regensburg

Haskell
1
star
35

regensburg-sop

Haskell
1
star
36

munihac-types

Haskell
1
star
37

ghc-generics-from-sop

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

munihac-islist

Haskell
1
star
39

inspection-testing-example

Haskell
1
star