connections - Composable numeric casts with Galois connections in Rust

Show HN: Galois connections for composable numeric casts in Rust

connections es una librería Rust que introduce las conexiones de Galois como valores de primera clase para realizar conversiones numéricas seguras y componibles. A diferencia de los operadores estándar `as`, `From` e `Into`, que son unidireccionales y pueden perder precisión o saturar silenciosamente, las conexiones de Galois garantizan semánticas claras y leyes matemáticas verificadas. Con `connections`, puedes componer cadenas de conversiones (por ejemplo, de `f64` a `f32` o de `Duration` a segundos) de forma estática y segura, y cada operación derivada (redondeo, saturación, mediana, etc.) cumple invariantes probados por propiedades. La librería incluye una amplia gama de módulos para tipos numéricos, formatos Q, direcciones IP, caracteres, y más. Ideal para desarrolladores que buscan conversiones numéricas correctas y composables en Rust.