sjoerdvisscher/free-functors sjoerdvisscher/free-functors

  • Stars
    star
    27
  • Rank 905,827 (Top 18 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 12 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sjoerdvisscher/free-functors
github

sjoerdvisscher

Reviews

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

Repository Details

Provides free functors that are adjoint to functors that forget class constraints.

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

blog

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

effects

Control.Effects
Haskell
19
star
5

proarrow

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

HueAPI

Haskell API for controlling Phillips Hue lights
Haskell
15
star
7

unfoldable

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

fmlist

FoldMap lists
Haskell
12
star
9

algebraic-classes

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

GoTracer

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

squares

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

plu

plu programming language implementation in Haskell
Haskell
5
star
13

discrete-space-map

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

icfp2011

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

synth-sync

Multi-user modular synthesizer
JavaScript
3
star
16

derive-lifted-instances

Derive class instances though various kinds of lifting
Haskell
2
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