Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org : g2

A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2

Registry - JSON - codemeta.json
purl: pkg:hackage/g2
Keywords: bsd3 , formal-methods , library , program , symbolic-computation , Propose Tags
License: BSD-3-Clause
Latest release: almost 2 years ago
First release: over 6 years ago
Dependent packages: 1
Dependent repositories: 2
Downloads: 1,033 total
Last synced: 26 days ago

g2 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2
3 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.03 thousand downloads total - 1 maintainer
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter by kind
All kinds runtime 1