Simon Meier's repositories
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.
blaze-builder-enumerator
Make it easy to use blaze-builder together with enumerator.
strict-base-types
Fully strict variants of the types provided in base.
psqueues-old
Assorted priority-search queues for Haskell
ghcjs-vdom
bindings for virtual-dom
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
bytestring-1
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
ghc-core-html
Read ghc-core with style. javascript and CSS style.
ghcjs-servant-client
A servant client written for GHCJS
postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
try-blaze-react
A variant of Ryan Trinkle's try-reflex that one can use to easily try blaze-react with GHCJS.