kosmikus/kaleidoscope-regensburg kosmikus/kaleidoscope-regensburg

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kosmikus/kaleidoscope-regensburg
github

kosmikus

Reviews

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

Repository Details

toy implementation of Kaleidoscope language developed during Haskell Regensburg meetups

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

popl21-liquid-haskell-tutorial

Haskell
7
star
11

cri

Common Random Interface
Haskell
6
star
12

servant-regensburg

Haskell
4
star
13

tilt

Haskell
4
star
14

hkd-sop

Connecting higher-kinded datatypes and generics-sop
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