HeinrichApfelmus/vault

Stars
60
Rank 489,410 (Top 10 %)
Language
C
License
BSD 3-Clause "New...
Created over 12 years ago
Updated 4 months ago

HeinrichApfelmus/vault

HeinrichApfelmus

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

A typed, persistent store for values of arbitrary types

reactive-banana

Library for functional reactive programming in Haskell.

threepenny-gui

GUI framework that uses the web browser as a display.

hyper-haskell

The strongly hyped Haskell interpreter.

david-cope-cmmc

LISP source code for David Cope's book "Computer Models of Musical Creativity".

operational

Implement monads by specifying instructions and their desired operational semantics.

frp-guides

A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).

tomato-rubato

Tomato-rubato is an easy to use library for live audio programming in Haskell.

cnoidal

Haskell library for representing, transforming, and live coding music

optimize-monad-trans

Toy example — How can GHC optimize monad transformers?

disk-bytes

On-disk storage, but referentially transparent

diagrams-doc

Documentation for diagrams, a Haskell embedded domain-specific library for declarative drawing

textmate-haskell

A Haskell bundle for TextMate

forklift

Perform arbitrary monadic computations in a worker thread.

agda-notes

Various notes on Agda and agda2hs