vampire: Analyze and visualize expression trees.

[ development, gpl, library, program ] [ Propose Tags ]
Versions [RSS] [faq],,,
Dependencies base (==4.6.*), deepseq, directory, dlist, fgl, graphviz, haskell-src-exts, mtl, optparse-applicative, process, uniplate [details]
License GPL-3.0-only
Author benzrf
Category Development
Home page
Uploaded by benzrf at 2014-06-29T20:39:24Z
Distributions NixOS:
Executables vampire
Downloads 2592 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Successful builds reported [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees