davdar/maam
A monadic approach to static analysis following the methodology of AAM
Semantics and tools for JavaScript
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A monadic approach to static analysis following the methodology of AAM
quals
Public repository.
rethinking the core libraries (Prelude and more) for Haskell