Ecosyste.ms: Packages

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

crates.io "formal-specification" keyword

airlang 0.2.0
The Air Programming Language
16 versions - Latest release: about 1 month ago - 4 dependent packages - 5.29 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_bin 0.2.0
The Air Programming Language
14 versions - Latest release: about 1 month ago - 4.11 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_ext 0.2.0
The Extension of the Air Programming Language
7 versions - Latest release: about 1 month ago - 3 dependent packages - 2.14 thousand downloads total - 7 stars on GitHub - 1 maintainer
air_main 0.0.1
The Main Library of the Air Programming Language
1 version - Latest release: about 2 months ago - 237 downloads total - 7 stars on GitHub - 1 maintainer
Related Keywords
logic 4 language 4 specification 4 air 4 formal 4 artificial-intelligence 4 logic-programming 4 logical-programming 4 programming-language 4 programming-languages 4 proof-of-concept 4 specification-language 4