Ecosyste.ms: Repos

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

GitHub / runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/runtimeverification%2Fmichelson-semantics

Stars: 17
Forks: 8
Open Issues: 37

License: other
Language: Makefile
Repo Size: 5.6 MB
Dependencies: 626

Created: almost 5 years ago
Updated: over 1 year ago
Last pushed: 9 months ago
Last synced: about 2 months ago

Files
    Loading...
    Readme
    Loading...
    Dependencies
    Dockerfile docker
    web/package.json npm
    web/package-lock.json npm