sjoerdvisscher/data-category-base

Stars
1
Language
Created over 13 years ago
Updated almost 12 years ago

sjoerdvisscher/data-category-base

sjoerdvisscher

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

Parts of data-category that depend on base.

data-category

Library of categories, with categorical constructions on them

one-liner

Constraint-based generics

free-functors

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

blog

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

effects

Control.Effects

proarrow

Haskell library for doing category theory with a central role for profunctors

HueAPI

Haskell API for controlling Phillips Hue lights

unfoldable

Class of data structures that can be unfolded.

fmlist

algebraic-classes

Conversions between algebraic classes and F-algebras.

GoTracer

Scans an image of a go board and converts it to a .sgf file.

squares

The double category of Hask functors and profunctors

plu

plu programming language implementation in Haskell

discrete-space-map

A discrete space map implemented as a zipper on an infinite perfect binary tree.

icfp2011

The submission of team Magic Missiles to the ICFP 2011 contest.

synth-sync

Multi-user modular synthesizer

derive-lifted-instances

Derive class instances though various kinds of lifting

icfp2018

sarien-sound

Sound for Sarien.net

feedbackloop

sjoerdvisscher.github.com

html-treenav

Animated navigation tool for structured HTML documents.