maam: A monadic framework for abstract interpretation.

[ bsd3, library, program, static-analysis ] [ Propose Tags ]

An implementation of Galois Transformers, a monadic framework for abstract interpretation.

Versions [faq],,,
Dependencies base (==4.7.*), Cabal, containers, directory, maam (==0.1.*), template-haskell, text [details]
License BSD-3-Clause
Author David Darais
Category StaticAnalysis
Source repo head: git clone
Uploaded by DavidDarais at Fri Jan 23 04:26:15 UTC 2015
Distributions NixOS:
Executables maam
Downloads 1568 total (32 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-01-23 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees