Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / hellwolf / hevm

symbolic EVM evaluator

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hellwolf%2Fhevm

Fork of ethereum/hevm
Stars: 0
Forks: 0
Open Issues: 0

License: agpl-3.0
Language: Haskell
Repo Size: 10.2 MB
Dependencies: 205

Created: 11 months ago
Updated: 2 months ago
Last pushed: 2 months ago
Last synced: 2 months ago

Files

Loading...

Readme

Loading...

Dependencies

.github/workflows/build.yml actions

actions/checkout v3 composite
actions/upload-artifact v3 composite
cachix/cachix-action v12 composite
cachix/install-nix-action v22 composite
haskell/actions/setup v2 composite
msys2/setup-msys2 v2 composite

.github/workflows/check-dependencies.yml actions

actions/checkout v3 composite
cachix/install-nix-action v21 composite

.github/workflows/publish-docs.yml actions

JamesIves/github-pages-deploy-action v4.4.1 composite
actions/checkout v2 composite
cachix/install-nix-action v21 composite

.github/workflows/release.yml actions

actions/checkout v3 composite
actions/download-artifact v3 composite
actions/upload-artifact v3 composite
cachix/install-nix-action v22 composite
haskell-actions/hackage-publish v1 composite
softprops/action-gh-release v0.1.15 composite

hevm.cabal hackage

doc/package.json npm

parcel ^2.8.1 development
highlight.js ^10.7.3
highlightjs-solidity ^2.0.5

doc/yarn.lock npm

185 dependencies