Docs.rs

Pure Rust core indicator library — no PyO3, no numpy dependency

ICAO 9303 Machine Readable Zone (TD1/TD2/TD3) text parser. Name reserved; implementation in progress.

Safe Rust wrappers for NVIDIA cuFFT.

Safe Rust wrappers for NVIDIA cuDNN (classic API; activations at v0.1).

eMRTD / ICAO 9303 reader core — BAC, PACE, MRZ, LDS, secure messaging. Name reserved; implementation in progress.

Language Server Protocol implementation for Event-B

Command-line interface for the Rossi Event-B toolchain

AAMVA DL/ID PDF417 barcode parser (US / Canadian driver's licenses). Name reserved; implementation in progress.

Static checker / builder for Event-B models in Rossi. Reads .buc/.bum and emits Rodin-compatible .bcc/.bcm.

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

Aadhaar offline e-KYC (India UIDAI): Secure QR v2 + Paperless Offline e-KYC (ZIP/XML) parsing and UIDAI signature verification. Name reserved; implementation in progress.

Fast Iterable JSON parser

A generic, persistent (copy-on-write) radix trie with structural sharing — bring-your-own-key, no_std + alloc, parameterized over Rc/Arc.

Rivet framework crates and adapters.