@hackage / hoopl

A library to support dataflow analysis and optimization

3.10.2.2

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / ethereum-analyzer A Ethereum contract analyzer.
- Version: 3.3.4
- Last uploaded: 8 years ago
- License: Apache-2.0
@hackage / ethereum-analyzer-cli A CLI frontend for ethereum-analyzer.
- Version: 3.3.4
- Last uploaded: 8 years ago
- License: Apache-2.0
@hackage / ethereum-analyzer-webui A web frontend for ethereum-analyzer
- Version: 3.3.4
- Last uploaded: 8 years ago
- License: Apache-2.0
@hackage / ghc The GHC API
- Version: 9.14.1
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / ghc-instances Easily import all instances contained in GHC distributed libraries
- Version: 0.1.0.1
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / linearscan Linear scan register allocator, formally verified in Coq
- Version: 1.0.0
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / linearscan-hoopl Makes it easy to use the linearscan register allocator with Hoopl
- Version: 1.0.0
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / llvm-analysis A Haskell library for analyzing LLVM bitcode
- Version: 0.3.0
- Last uploaded: 12 years ago
- License: BSD-3-Clause
@hackage / text-show-instances Additional instances for text-show
- Version: 3.9.11
- Last uploaded: 1 week ago
- License: BSD-3-Clause