Ecosyste.ms: Repos

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

GitHub / sillydan1 / aaltitoad

Extendable verification engine and simulator for Tick Tock Automata constructs

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

Stars: 6
Forks: 0
Open Issues: 6

License: gpl-3.0
Language: C++
Repo Size: 4.95 MB
Dependencies: 2

Created: about 4 years ago
Updated: 8 days ago
Last pushed: 8 days ago
Last synced: 8 days ago

Topics: aau, automata, formal-methods, formal-verification, help-wanted, verification

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/cmake.yml actions