Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "formal" keyword
airlang 0.2.0
The Air Programming Language16 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 Language14 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 Language7 versions - Latest release: about 1 month ago - 3 dependent packages - 2.14 thousand downloads total - 7 stars on GitHub - 1 maintainer
prusti-contracts 0.2.0
Tools for specifying contracts with Prusti11 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 6.14 thousand downloads total - 1,480 stars on GitHub - 1 maintainer
prusti-std 0.2.0
External specifications for items in std for Prusti10 versions - Latest release: 9 months ago - 3.24 thousand downloads total - 1,480 stars on GitHub - 1 maintainer
air_main 0.0.1
The Main Library of the Air Programming Language1 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
artificial-intelligence
4
formal-specification
4
logic-programming
4
logical-programming
4
programming-language
4
programming-languages
4
proof-of-concept
4
specification-language
4
contracts
2
specifications
2
verification
2
prusti
2
formal-verification
2
rust
2
viper
2