Popular repositories

1. blaze-react blaze-react Public

   A blaze-html style ReactJS binding for Haskell using GHCJS

   Haskell 107 15

2. blaze-builder blaze-builder Public

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

   Haskell 21 22

3. blaze-binary blaze-binary Public

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

   Haskell 17 3

4. scyther-proof scyther-proof Public

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

   Isabelle 14 3

5. blaze-builder-enumerator blaze-builder-enumerator Public

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

   Haskell 6 8

6. strict-base-types strict-base-types Public

   Fully strict variants of the types provided in base.

   Haskell 6 6