The ivory-bitdata package

[ Tags: bsd3, deprecated, language, library, program ] [ Propose Tags ]
Deprecated. in favor of ivory

See the paper


Dependencies base (==4.6.*), ivory, ivory-backend-c, ivory-bitdata, monadLib, parsec, template-haskell [details]
License BSD3[multiple license files]
Copyright 2013 Galois, Inc.
Author Galois, Inc.
Category Language
Home page
Source repo this: git clone hackage-bitdata-0200)
Uploaded Wed Mar 26 02:13:00 UTC 2014 by LeePike
Distributions NixOS:
Executables ivory-bitdata-example
Downloads 463 total (8 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees