Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / RKlompUU / SCRIPTAnalyser
Symbolic verification of Bitcoin's output scripts
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RKlompUU%2FSCRIPTAnalyser
Stars: 5
Forks: 0
Open Issues: 0
License: other
Language: Haskell
Repo Size: 1.83 MB
Dependencies:
54
Created: almost 6 years ago
Updated: over 1 year ago
Last pushed: over 2 years ago
Last synced: about 1 year ago
Topics: analysis, automatic, bitcoin, static, symbolic
Files
Loading...
Readme
Loading...
Dependencies
- base >=4.5
- free *
- parsec >=3
- Cabal >=1.14 test
- QuickCheck >=2.4.0.1 && <3 test
- base >=4.5 test
- free * test
- random >=1.0 test
- range * test
- test-framework >=0.4 && <0.9 test
- test-framework-quickcheck2 >=0.2 && <0.4 test
SCRIPTAnalyser.cabal
hackage
- IntervalMap *
- SCRIPTAnalyser *
- SCRIPTWriter >=1.0
- aeson *
- array >=0.5.2.0
- base >=4.7
- base >=4.7 && <5
- base16-bytestring >=0.1.1.6
- base16-bytestring *
- binary *
- binary-parser >=0.5.5
- bitcoin-hs *
- bitcoin-script *
- blaze-html *
- bytestring >=0.10.8.1
- bytestring *
- bytestring-conversion *
- containers *
- cryptohash *
- directory >=1.3.3.1
- either >=4.4.1
- free *
- hex >=0.1.2
- hexstring >=0.11.1
- http-conduit *
- http-types *
- list-t *
- memory *
- mtl *
- process *
- range *
- scotty *
- temporary >=1.3
- text >=1.2.2.1
- text *
- threads *
- transformers *
- uu-tc *
- vector *
- wai *
- wai-extra *
- wai-middleware-static *
- yaml *