sjoerdvisscher/blog

Stars
22
Rank 1,048,934 (Top 21 %)
Language
Created almost 13 years ago
Updated almost 8 years ago

sjoerdvisscher/blog

sjoerdvisscher

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

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

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.

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

data-category-base

Parts of data-category that depend on base.

sjoerdvisscher.github.com

html-treenav

Animated navigation tool for structured HTML documents.