← Latest products

Galois connections for composable numeric casts in Rust

Open source

7 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Qrlew

    github.com

    simple SQL to SQL-with-privacy written in Rust

    Hacker News15 pts

  2. Minimal Rust-inspired C++20 STL replacement

    Hacker News20 pts

  3. Flux

    github.com

    A Python-like language in Rust to solve ML orchestration overhead

    Hacker News5 pts

  4. buco: Builder at Compile Time

    Hacker News9 pts

  5. Letlang

    david-delassus.medium.com

    written in Rust, targeting Rust, now has a specification

    Hacker News8 pts