Data

Tools

Indexes

Applications

Experiments

Packages

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

crates.io "proof-of-concept" keyword

View the packages on the crates.io package registry that are tagged with the "proof-of-concept" keyword.

airlang 0.16.0
The Air Programming Language
29 versions - Latest release: 29 days ago - 4 dependent packages - 29.3 thousand downloads total - 13 stars on GitHub - 1 maintainer
airlang_bin 0.16.0
The Air Programming Language
27 versions - Latest release: 29 days ago - 25.6 thousand downloads total - 13 stars on GitHub - 1 maintainer
airlang_ext 0.16.0
The Extension of the Air Programming Language
20 versions - Latest release: 29 days ago - 3 dependent packages - 18.2 thousand downloads total - 13 stars on GitHub - 1 maintainer
air_main 0.0.1
The Main Library of the Air Programming Language
1 version - Latest release: over 1 year ago - 1.42 thousand downloads total - 13 stars on GitHub - 1 maintainer
q-q 0.1.2
quantity>quality | put as many programs into a single executable as possible
3 versions - Latest release: about 3 years ago - 3.68 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
solver 4 optimizer 4 specification 4 artificial-intelligence 4 programming-language 4 programming-languages 4 reflect 3 abstraction 3 logic 1 language 1 air 1 formal 1 experimental 1 rust 1 rust-lang 1 unstable-errors 1