sjoerdvisscher/derive-lifted-instances sjoerdvisscher/derive-lifted-instances

  • Stars
    star
    2
  • Language
    Haskell
  • License
    Apache License 2.0
  • Created about 6 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sjoerdvisscher/derive-lifted-instances
github

sjoerdvisscher

Reviews

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

Repository Details

Derive class instances though various kinds of lifting

More Repositories

1

data-category

Library of categories, with categorical constructions on them
Haskell
54
star
2

one-liner

Constraint-based generics
Haskell
48
star
3

free-functors

Provides free functors that are adjoint to functors that forget class constraints.
Haskell
27
star
4

blog

This is my blog, I'm hosting it here on GitHub.
22
star
5

effects

Control.Effects
Haskell
19
star
6

proarrow

Haskell library for doing category theory with a central role for profunctors
Haskell
18
star
7

HueAPI

Haskell API for controlling Phillips Hue lights
Haskell
15
star
8

unfoldable

Class of data structures that can be unfolded.
Haskell
13
star
9

fmlist

FoldMap lists
Haskell
12
star
10

algebraic-classes

Conversions between algebraic classes and F-algebras.
Haskell
10
star
11

GoTracer

Scans an image of a go board and converts it to a .sgf file.
JavaScript
9
star
12

squares

The double category of Hask functors and profunctors
Haskell
8
star
13

plu

plu programming language implementation in Haskell
Haskell
5
star
14

discrete-space-map

A discrete space map implemented as a zipper on an infinite perfect binary tree.
Haskell
4
star
15

icfp2011

The submission of team Magic Missiles to the ICFP 2011 contest.
Haskell
3
star
16

synth-sync

Multi-user modular synthesizer
JavaScript
3
star
17

icfp2018

Haskell
1
star
18

sarien-sound

Sound for Sarien.net
Haskell
1
star
19

feedbackloop

1
star
20

data-category-base

Parts of data-category that depend on base.
1
star
21

sjoerdvisscher.github.com

Just testing
1
star
22

html-treenav

Animated navigation tool for structured HTML documents.
JavaScript
1
star