用 Haskell 编写的库
heapsize
ghc-datasize 是一个确定 GHC 内存中 Haskell 数据结构大小的工具(由 mpardalos 提供)。
- 4
- BSD 3-clause "New" or "Revised"
JML-Schlussfolgerer
用于解析 java 源代码,然后处理输出以为解析的 java 源代码生成 JML 语法的软件套件。
- 4
- BSD 3-clause "New" or "Revised"