Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "specification-language" keyword

hpl-specs 1.4.0 💰

High-level Property Specification Language
13 versions - Latest release: 6 months ago - 3 dependent packages - 5 dependent repositories - 164 downloads last month - 3 stars on GitHub - 1 maintainer

rigel-hpl 0.1.0 💰

HAROS Property Specification Language
1 version - Latest release: almost 2 years ago - 3 dependent repositories - 103 downloads last month - 3 stars on GitHub - 1 maintainer

Related Keywords

safety 2 liveness 2 parser 2 parsing 2 ast 2 behavior 2 domain-specific-language 2 message-passing 2 properties 2 specification 2 specification-pattern 2 property specification 1 specification language 1 haros 1 ros 1 property-specification 1