rossi

v0.1.4 Experimental

Core Event-B parser, AST, pretty-printer, and Rodin XML/ZIP conversion library for Rossi

MIT OR Apache-2.0 Edition 2024 MSRV 1.85

Development tools Parsing tools #parser#verification#formal-methods#event-b

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

✓Actively maintained (updated 7d ago)
!Pre-1.0: API may have breaking changes
✓Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...

Downloads

275

Dependents

Releases

Size

255KB

Deep Insights

📊

Download activity

277 downloads in the last 30 days (9/day avg).

🌟

Used by top crates

Notable dependents include rossi-build, eventb-lsp, rossi-cli. When high-quality crates choose rossi, it's a strong quality signal.

Health Breakdown

Maintenance 16/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 9/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

0/day avg

Top Dependents

Most downloaded crates that depend on rossi

Version Adoption

v0.1.4

22%

v0.1.3

21%

v0.1.1

21%

v0.1.0

19%

v0.1.2

17%

Release Timeline

5 releasessince 2026

2026

Less

Feature Flags

serde

README

Loading README...

Maintainers

Denis Efremov

4 crates

Dependencies

direct dependencies