Haskell로 작성된 라이브러리
timeout-with-results
일부 결과를 반환하도록 허용하면서 계산 시간 초과를 허용합니다. 제한 시간 내에 찾은 최상의 결과를 반환해야 하는 AI와 같은 알고리즘을 만드는 데 유용합니다.
- 4
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"