@hackage crackNum dependencies

10 results

Process libraries

Library for manipulating FilePaths in a cross platform way.

Platform-agnostic library for filesystem operations

Deep evaluation of data structures

Core data structures and operations

Golden tests support for tasty

Modern and extensible testing framework

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

A binding to the libBF library.

The GHC API