Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / runtimeverification / kore-prof
Profiling utilities extracted from haskell-backend
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/runtimeverification%2Fkore-prof
Stars: 1
Forks: 0
Open Issues: 1
License: bsd-3-clause
Language: Haskell
Repo Size: 1.32 MB
Dependencies:
8
Created: over 1 year ago
Updated: about 2 months ago
Last pushed: over 1 year ago
Last synced: about 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
kore-prof.cabal
hackage
- containers >=0.6.5
- eventlog2speedscope *
- extra >=1.7
- ghc-events *
- kore-prof *
- mtl >=2.2
- optparse-applicative >=0.14
- text >=1.2