crates.io "specification" keyword
View the packages on the crates.io package registry that are tagged with the "specification" keyword.
airlang_bin 0.17.0
The Air Programming Language28 versions - Latest release: about 21 hours ago - 25.8 thousand downloads total - 13 stars on GitHub - 1 maintainer
softcore-prelude 0.4.0
The common functions used by the softcore-rs ecosystem4 versions - Latest release: 12 days ago - 1.01 thousand downloads total - 3 stars on GitHub - 1 maintainer
softcore-rv64 0.4.1
A Rust translation of the RISC-V 64 specification5 versions - Latest release: 1 day ago - 968 downloads total - 3 stars on GitHub - 1 maintainer
oasert 0.1.4
A library for verifying in-flight requests against a provided OpenAPI 3.1.x or 3.0.x specification.4 versions - Latest release: about 1 month ago - 1.12 thousand downloads total - 0 stars on GitHub - 1 maintainer
Top 7.5% on crates.io
48 versions - Latest release: about 2 months ago - 14 dependent packages - 11 dependent repositories - 973 thousand downloads total - 530 stars on GitHub - 4 maintainers
aide 0.15.0
A code-first API documentation library48 versions - Latest release: about 2 months ago - 14 dependent packages - 11 dependent repositories - 973 thousand downloads total - 530 stars on GitHub - 4 maintainers
airlang 0.16.0
The Air Programming Language29 versions - Latest release: about 1 month ago - 4 dependent packages - 29.3 thousand downloads total - 13 stars on GitHub - 1 maintainer
airlang_ext 0.16.0
The Extension of the Air Programming Language20 versions - Latest release: about 1 month 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 Language1 version - Latest release: over 1 year ago - 1.42 thousand downloads total - 13 stars on GitHub - 1 maintainer
abstract_integers 0.1.5
Defining specification-friendly bounded natural integer types5 versions - Latest release: over 2 years ago - 1 dependent package - 9 dependent repositories - 9.2 thousand downloads total - 244 stars on GitHub - 2 maintainers
oclis 0.3.0 💰
CLI builder based on a simple, obvious specification file3 versions - Latest release: over 1 year ago - 3.87 thousand downloads total - 7 stars on GitHub - 1 maintainer
virtio-spec 0.3.0
Definitions from the Virtual I/O Device (VIRTIO) specification.4 versions - Latest release: about 1 month ago - 27.1 thousand downloads total - 20 stars on GitHub - 1 maintainer
eure-schema 0.0.0
Schema specification and validation for EURE1 version - Latest release: 2 months ago - 305 downloads total - 2 stars on GitHub - 1 maintainer
Top 8.9% on crates.io
19 versions - Latest release: about 1 month ago - 3 dependent packages - 10 dependent repositories - 15.3 million downloads total - 115 stars on GitHub - 1 maintainer
r-efi 5.3.0
UEFI Reference Specification Protocol Constants and Definitions19 versions - Latest release: about 1 month ago - 3 dependent packages - 10 dependent repositories - 15.3 million downloads total - 115 stars on GitHub - 1 maintainer
polaris-specification 1.5.4
Service Governance Specification.42 versions - Latest release: 8 months ago - 5 dependent packages - 42.3 thousand downloads total - 9 stars on GitHub - 2 maintainers
whatwg-infra 1.1.0 💰
Tiny Rust-based implementation of the WHATWG Infra Standard7 versions - Latest release: 9 months ago - 1 dependent package - 7.37 thousand downloads total - 0 stars on GitHub - 1 maintainer
did-toolkit 0.2.1
did-toolkit is a spec-compliant implementation of did-core, W3C's 'Decentralized Identity Documents'3 versions - Latest release: 5 months ago - 2.95 thousand downloads total - 0 stars on git.juici.ly - 1 maintainer
specler 0.21.0
A simple way to write specifications on values21 versions - Latest release: 6 months ago - 11.8 thousand downloads total - 0 stars on GitHub - 1 maintainer
specler_common 0.21.0
Commonly used specler sped definitions3 versions - Latest release: 6 months ago - 1.54 thousand downloads total - 0 stars on GitHub - 1 maintainer
specler_macros 0.21.0
Specler macros make it easier to attach specifications to structs15 versions - Latest release: 6 months ago - 8.33 thousand downloads total - 0 stars on GitHub - 1 maintainer
specler_arbitrary 0.21.0
For generating arbitrary values for specler specifications8 versions - Latest release: 6 months ago - 4.31 thousand downloads total - 0 stars on GitHub - 1 maintainer
esl-compiler
Parser and compiler implementation for the Elephant Specification Language (ESL).1 version - Latest release: 28 days ago - 1.21 thousand downloads total - 1 maintainer
specimen 0.1.0
A data-driven testing library as well as a yaml data format.1 version - Latest release: 7 months ago - 588 downloads total - 7 stars on GitHub - 1 maintainer
virtuals-fortune-spec
The specification for the virtuals fortune service.2 versions - Latest release: 28 days ago - 2.22 thousand downloads total - 1 maintainer
auto_generate_cdp 0.4.5 💰
experimental crate to generate the Chrome Devtools Protocol.34 versions - Latest release: 6 months ago - 4 dependent packages - 28 dependent repositories - 584 thousand downloads total - 14 stars on GitHub - 1 maintainer
standardwebhooks 1.0.1
Rust library for creating and verifying webhook signatures.2 versions - Latest release: over 1 year ago - 9.56 thousand downloads total - 1,424 stars on GitHub - 1 maintainer
Related Keywords
rust
11
validation
6
solver
4
optimizer
4
artificial-intelligence
4
programming-language
4
programming-languages
4
proof-of-concept
4
reflect
3
abstraction
3
compiler
3
api
3
openapi
3
standard
2
language
2
json
2
risc-v
2
asyncapi
1
golang
1
data-driven-testing
1
yaml
1
testing
1
esl
1
elephant
1
did-core
1
did
1
whatwg
1
spec
1
infra
1
solution
1
proxyless
1
polaris
1
governance
1
uefi
1
firmware
1
generator
1
callbacks
1
webhooks
1
json-schema
1
http
1
generation
1
devtools-protocol
1
standard-webhooks
1
cdp
1
build-tool
1
devtools
1
webhook
1
chrome
1
macros
1
virtuals
1
sports
1
bot
1
typescript
1
python
1
js
1
specifications
1
formal-verification
1
cryptography
1
integers
1
formal
1
air
1
logic
1
generate
1
documentation
1
rest
1
openapi3
1
openapi2
1
openapi-specification
1
oas3
1
oas
1
verification
1
security
1
regsiter
1
riscv
1
efi
1
boot
1
schema
1
eure
1
virtio
1
pci
1
net
1
driver
1
purescript
1
polyglot
1
optparse-applicative
1
optparse
1
nickel
1
haskell
1
elm
1
docopt
1
cli-spec
1
argparse
1
builder
1
cli
1