Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "specification" keyword
esl-compiler 0.0.0
Parser and compiler implementation for the Elephant Specification Language (ESL).1 version - Latest release: 8 months ago - 306 downloads total - 1 maintainer
whatwg-infra 1.0.0 💰
Tiny Rust-based implementation of the WHATWG Infra Standard6 versions - Latest release: 2 days ago - 1 dependent package - 1.84 thousand downloads total - 0 stars on GitHub - 1 maintainer
polaris-specification 1.5.1
Service Governance Specification.31 versions - Latest release: about 1 month ago - 5 dependent packages - 8.95 thousand downloads total - 7 stars on GitHub - 2 maintainers
standardwebhooks 1.0.1
Rust library for creating and verifying webhook signatures.2 versions - Latest release: 2 months ago - 666 downloads total - 1,163 stars on GitHub - 1 maintainer
Top 7.5% on crates.io
43 versions - Latest release: 26 days ago - 6 dependent packages - 11 dependent repositories - 187 thousand downloads total - 327 stars on GitHub - 2 maintainers
aide 0.13.4
A code-first API documentation library43 versions - Latest release: 26 days ago - 6 dependent packages - 11 dependent repositories - 187 thousand downloads total - 327 stars on GitHub - 2 maintainers
airlang_bin 0.2.0
The Air Programming Language13 versions - Latest release: 11 days ago - 3.21 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang 0.2.0
The Air Programming Language15 versions - Latest release: 11 days ago - 1 dependent package - 4.23 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_ext 0.2.0
The Extension of the Air Programming Language6 versions - Latest release: 11 days ago - 1.53 thousand downloads total - 7 stars on GitHub - 1 maintainer
Top 8.9% on crates.io
14 versions - Latest release: about 1 month ago - 2 dependent packages - 10 dependent repositories - 365 thousand downloads total - 95 stars on GitHub - 1 maintainer
r-efi 4.4.0
UEFI Reference Specification Protocol Constants and Definitions14 versions - Latest release: about 1 month ago - 2 dependent packages - 10 dependent repositories - 365 thousand downloads total - 95 stars on GitHub - 1 maintainer
auto_generate_cdp 0.4.4 💰
experimental crate to generate the Chrome Devtools Protocol.33 versions - Latest release: 6 months ago - 4 dependent packages - 28 dependent repositories - 195 thousand downloads total - 14 stars on GitHub - 1 maintainer
virtuals-fortune-spec 0.1.3
The specification for the virtuals fortune service.2 versions - Latest release: about 2 months ago - 611 downloads total - 1 maintainer
oclis 0.3.0 💰
CLI builder based on a simple, obvious specification file3 versions - Latest release: 3 months ago - 1.15 thousand downloads total - 1 stars on GitHub - 1 maintainer
did-toolkit 0.2.0
did-toolkit is a spec-compliant implementation of did-core, W3C's 'Decentralized Identity Documents'2 versions - Latest release: about 1 year ago - 583 downloads total - 0 stars on git.juici.ly - 1 maintainer
casm
Corinthian Abstract State Machine (CASM) Project1 version - Latest release: 24 days ago - 393 downloads total - 7 stars on GitHub - 1 maintainer
sealang
Corinthian Abstract State Machine (CASM) Project1 version - Latest release: 24 days ago - 279 downloads total - 7 stars on GitHub - 1 maintainer
air_main 0.0.1
The Main Library of the Air Programming Language1 version - Latest release: 25 days ago - 0 downloads total - 7 stars on GitHub - 1 maintainer
substrait-validator-derive 0.0.11
Procedural macros for substrait-validator11 versions - Latest release: over 1 year ago - 1 dependent package - 3.27 thousand downloads total - 1,012 stars on GitHub - 2 maintainers
substrait-validator 0.0.11
Substrait validator9 versions - Latest release: over 1 year ago - 2.34 thousand downloads total - 1,012 stars on GitHub - 2 maintainers
abstract_integers 0.1.5
Defining specification-friendly bounded natural integer types5 versions - Latest release: about 1 year ago - 1 dependent package - 9 dependent repositories - 3.58 thousand downloads total - 235 stars on GitHub - 2 maintainers
Related Keywords
language
5
rust
4
formal
4
logic
4
air
4
specification-language
3
proof-of-concept
3
programming-languages
3
programming-language
3
logical-programming
3
logic-programming
3
formal-specification
3
artificial-intelligence
3
documentation
3
standard
2
relational-algebra
2
query-plan
2
execution-plan
2
project-management
2
project
2
issue-tracker
2
casm
2
openapi
2
json
2
api
2
builder
1
virtuals
1
sports
1
bot
1
json-schema
1
esl
1
cli
1
generator
1
cli-spec
1
docopt
1
elm
1
specifications
1
formal-verification
1
cryptography
1
integers
1
haskell
1
nickel
1
polyglot
1
purescript
1
did
1
did-core
1
elephant
1
compiler
1
whatwg
1
spec
1
infra
1
polaris
1
solution
1
governance
1
proxyless
1
webhooks
1
asyncapi
1
callbacks
1
http
1
standard-webhooks
1
webhook
1
generate
1
boot
1
firmware
1
efi
1
uefi
1
macros
1
chrome
1
devtools
1
build-tool
1
cdp
1
devtools-protocol
1
generation
1