Ecosyste.ms: Repos

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

GitHub / mgree / smoosh

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

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

Stars: 111
Forks: 4
Open Issues: 22

License: mit
Language: OCaml
Repo Size: 3.66 MB
Dependencies: 7

Created: over 5 years ago
Updated: about 2 months ago
Last pushed: about 1 year ago
Last synced: 23 days ago

Topics: formalization, posix, posix-sh, posix-shell, semantics, sh, shell, shell-scripting, symbolic-execution

Files
    Loading...
    Readme
    Loading...
    Dependencies
    web/Gemfile rubygems
    .github/workflows/build.yml actions
    Dockerfile docker