Simon Meier

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.

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

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

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

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

system-io-write. Library providing an abstraction of relocatable direct writing to memory.

blaze-protobuf. Experimental implementation of Google's protocol buffers

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

blog. Personal blog

blaze-html. An experimental, blazingly fast HTML combinator library for Haskell.

tamarin-prover. Main source code repository of the Tamarin prover for security protocol verification.

ghcjs-vdom. bindings for virtual-dom

experiments. Various experiments in programming and otherwise.

cereal. Haskell

stylish-haskell. Align and sort imports in Haskell source code

aeson. A fast Haskell JSON library

text. An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.

yi. The Haskell-Scriptable Editor

snap-benchmarks. Benchmarks for snap

upb. A small, low-level protocol buffer library

heist. An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.

dotfiles. .files

snap-core. Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

snap-server. An iteratee-based HTTP server library, which runs Snap web handlers.

yag. Yet Another Git – Written in Haskell

criterion. A powerful but simple library for measuring the performance of Haskell code.

encoding-writes. Write abstractions for standardized encodings of Haskell values.

base64-bytestring. Fast base64 encoding and decoding for Haskell.

blaze-textual. A fast Haskell library for rendering common Haskell datatypes in text form.

binary. Efficient, pure binary serialisation using ByteStrings in Haskell.