Ecosyste.ms: Packages

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

hackage.haskell.org : crucible-llvm

Library providing LLVM-specific extensions to the crucible core library for Crucible-based simulation and verification of LLVM-compiled applications.

Registry - JSON
purl: pkg:hackage/crucible-llvm
Keywords: bsd3, language, library
License: BSD-3-Clause
Latest release: 4 months ago
First release: 4 months ago
Dependent packages: 2
Downloads: 38 total
Last synced: 22 days ago

Readme