-
-
strict-base-types Public
Fully strict variants of the types provided in base.
-
tamarin-prover Public
Forked from tamarin-prover/tamarin-proverMain source code repository of the Tamarin prover for security protocol verification.
-
blaze-react Public
A blaze-html style ReactJS binding for Haskell using GHCJS
-
ghcjs-servant-client Public
Forked from plow-technologies/ghcjs-servant-clientA servant client written for GHCJS
Haskell Other UpdatedMay 31, 2016 -
ghcjs Public
Forked from ghcjs/ghcjsHaskell to JavaScript compiler, based on GHC
Haskell MIT License UpdatedOct 29, 2015 -
ghcid Public
Forked from ndmitchell/ghcidVery low feature GHCi based IDE
Haskell Other UpdatedOct 5, 2015 -
try-blaze-react Public
A variant of Ryan Trinkle's try-reflex that one can use to easily try blaze-react with GHCJS.
-
-
protocol Public
Forked from hmb-ba/protocolApache Kafka Protocol implementation in Haskell
Haskell MIT License UpdatedJun 30, 2015 -
-
scyther-proof Public
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
-
-
Frames Public
Forked from acowley/FramesData frames for tabular data.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 5, 2015 -
blaze-builder-enumerator Public
Make it easy to use blaze-builder together with enumerator.
-
blaze-builder Public
Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.
-
james Public
Common utility services for building Haskell applications.
BSD 3-Clause "New" or "Revised" License UpdatedOct 27, 2014 -
ghcjs-vdom Public
Forked from ghcjs/ghcjs-vdombindings for virtual-dom
-
quickcheck Public
Forked from nick8325/quickcheckAutomatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 30, 2014 -
psqueues-old Public
Assorted priority-search queues for Haskell
-
-
text Public
Forked from haskell/textAn efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
-
aeson Public
Forked from haskell/aesonA fast Haskell JSON library
-
bytestring-1 Public
Forked from haskell/bytestringAn efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Haskell Other UpdatedOct 2, 2013 -
blaze-binary Public
A draft of a new binary serialization library based on the new bytestring-builder and attoparsec.
-
lens Public
Forked from ekmett/lensLenses, Folds, and Traversals - Join us on freenode #haskell-lens
Haskell Other UpdatedMay 10, 2013 -
ekg Public
Forked from haskell-github-trust/ekgRemote monitoring of running processes over HTTP
-
postgresql-simple Public 5362
Forked from lpsmith/postgresql-simpleMid-level client library for accessing PostgreSQL from Haskell
Haskell Other UpdatedApr 29, 2013 -
ghc-core-html Public
Forked from vincenthz/ghc-core-htmlRead ghc-core with style. javascript and CSS style.
Haskell Other UpdatedApr 26, 2013 -
{{ message }}