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 repository this: git clone hackage-bitdata-0200)
Uploaded Wed Mar 26 02:13:00 UTC 2014 by LeePike
Distributions NixOS:
Executables ivory-bitdata-example
Downloads 326 total (2 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees