Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: jvm-parser
1 version
Latest release: almost 10 years ago
1,041 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/jvm-parser
Dependent Repos 6
GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs- >=0.3 crucible-jvm/crucible-jvm.cabal
Size: 41.3 MB - Last synced: about 22 hours ago - Pushed: 1 day ago
GaloisInc/surveyor
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs- * surveyor-core/surveyor-core.cabal
Size: 802 KB - Last synced: 7 days ago - Pushed: over 3 years ago
jacobstanley/calamine
- >=0.2.1 calamine.cabal
Size: 109 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago
GaloisInc/jvm-verifier
The Java Symbolic Simulator, part of SAW.- >=0.3 jvm-verifier.cabal
- >=0.3 jvm-verifier.cabal
- >=0.3 jvm-verifier.cabal
Size: 68.8 MB - Last synced: 7 days ago - Pushed: over 3 years ago
GaloisInc/saw-script
The SAW scripting language.- * saw-script.cabal
Size: 64.5 MB - Last synced: about 14 hours ago - Pushed: 1 day ago
langston-barrett/crucible Fork of GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs- >=0.3 crucible-jvm/crucible-jvm.cabal
Size: 28.1 MB - Last synced: 19 days ago - Pushed: 19 days ago
frisoft/crucible Fork of GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs- >=0.3 crucible-jvm/crucible-jvm.cabal
Size: 41 MB - Last synced: 10 months ago - Pushed: 10 months ago
StanleyRoberts/saw-script-vim Fork of GaloisInc/saw-script
Better vim support- * saw-script.cabal
Size: 27.2 MB - Last synced: 9 months ago - Pushed: over 1 year ago
EthanJamesLew/saw-script Fork of GaloisInc/saw-script
The SAW scripting language.- * saw-script.cabal
Size: 58.7 MB - Last synced: 9 months ago - Pushed: 9 months ago