Ecosyste.ms: Repos

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

GitHub / skius / imp

Big-step, small-step and axiomatic semantics for the IMP language (unofficial)

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

Stars: 1
Forks: 0
Open Issues: 0

License: gpl-3.0
Language: Rust
Repo Size: 146 KB
Dependencies: 80

Created: almost 3 years ago
Updated: over 2 years ago
Last pushed: over 2 years ago
Last synced: about 1 year ago

Topics: formal-methods, formal-verification, hacktoberfest, proof-checker

Files
    Loading...
    Readme
    Loading...
    Dependencies
    Cargo.lock cargo