Rust type-safety

Open-source Rust projects categorized as type-safety

Rust type-safety Projects

  • typical

    Data interchange with algebraic data types. (by stepchowfun)

  • Project mention: Typical: Data interchange with algebraic data types | /r/patient_hackernews | 2023-05-22
  • dimensioned

    Compile-time dimensional analysis for various unit systems using Rust's type system.

  • Project mention: Frink is a programming language designed to make physical calculations simple | news.ycombinator.com | 2023-11-03

    Rust as well. There are at least a few libraries to do it, but I'll link the one I wrote:

    https://crates.io/crates/dimensioned

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Rust type-safety related posts

Index

Project Stars
1 typical 552
2 dimensioned 293

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com