Pinned Repositories
blaze-binary
A draft of a new binary serialization library based on the new bytestring-builder and attoparsec.
blaze-builder
Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.
blaze-builder-enumerator
Make it easy to use blaze-builder together with enumerator.
blaze-react
A blaze-html style ReactJS binding for Haskell using GHCJS
bytestring
Fork of 'http://darcs.haskell.org/bytestring' to simplify integrating the blaze-builder work.
psqueues-old
Assorted priority-search queues for Haskell
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.
system-io-write
Library providing an abstraction of relocatable direct writing to memory.
talks
Slides and additional material for talks that I've given.
meiersi's Repositories
meiersi/blaze-react
A blaze-html style ReactJS binding for Haskell using GHCJS
meiersi/blaze-builder
Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.
meiersi/blaze-binary
A draft of a new binary serialization library based on the new bytestring-builder and attoparsec.
meiersi/scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
meiersi/blaze-builder-enumerator
Make it easy to use blaze-builder together with enumerator.
meiersi/strict-base-types
Fully strict variants of the types provided in base.
meiersi/psqueues-old
Assorted priority-search queues for Haskell
meiersi/aeson
A fast Haskell JSON library
meiersi/dotfiles
.files
meiersi/ghcjs-vdom
bindings for virtual-dom
meiersi/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
meiersi/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
meiersi/broker
meiersi/bytestring-1
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
meiersi/containers
meiersi/ekg
Remote monitoring of running processes over HTTP
meiersi/Frames
Data frames for tabular data.
meiersi/ghc-core-html
Read ghc-core with style. javascript and CSS style.
meiersi/ghcid
Very low feature GHCi based IDE
meiersi/ghcjs
Haskell to JavaScript compiler, based on GHC
meiersi/ghcjs-servant-client
A servant client written for GHCJS
meiersi/james
Common utility services for building Haskell applications.
meiersi/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
meiersi/nixpkgs
Nix Packages collection
meiersi/postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
meiersi/protocol
Apache Kafka Protocol implementation in Haskell
meiersi/psqueues
meiersi/quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
meiersi/taskl
meiersi/try-blaze-react
A variant of Ryan Trinkle's try-reflex that one can use to easily try blaze-react with GHCJS.