Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

maam

Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers. See "Galois Transformers and Modular Abstract Interpreters" by Darais, Might and Van Horn.

Ecosystem
hackage.haskell.org
Latest Release
0.3.0.0
over 10 years ago
Versions
4
Downloads
3,139 total
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/maam
    spec
    License BSD-3-Clause
    First Release about 11 years ago
    Last Synced 19 days ago
    Keywords
    bsd3 library program static-analysis Propose Tags