meiersi/experiments

Stars
1
Language
Haskell
Created about 12 years ago
Updated about 12 years ago

meiersi/experiments

meiersi

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

Various experiments in programming and otherwise.

blaze-react

A blaze-html style ReactJS binding for Haskell using GHCJS

blaze-builder

Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.

blaze-binary

A draft of a new binary serialization library based on the new bytestring-builder and attoparsec.

scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

strict-base-types

Fully strict variants of the types provided in base.

blaze-builder-enumerator

Make it easy to use blaze-builder together with enumerator.

bytestring

Fork of 'http://darcs.haskell.org/bytestring' to simplify integrating the blaze-builder work.

psqueues-old

Assorted priority-search queues for Haskell

system-io-write

Library providing an abstraction of relocatable direct writing to memory.

talks

Slides and additional material for talks that I've given.

bytestring-builder

Prerelease version for the new bytestring builder... greatly simplifies experiments based on it.

blaze-protobuf

Experimental implementation of Google's protocol buffers

blog

dotfiles

encoding-writes

Write abstractions for standardized encodings of Haskell values.