Unit Type System

This page summarizes the projects mentioned and recommended in the original post on /r/ProgrammingLanguages

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • boba

    A general purpose statically-typed concatenative programming language. (by glossopoeia)

  • Also worth checking out is Adam Gundry's work on type inference for UoM types. Or, if you want an example implementation of the Abelian unification used in standard type inference extended with UoM types, you can reference my implementation, based on solving linear equations.

  • 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 number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Local migrations for embedded SQLite in F#

    5 projects | dev.to | 2 Mar 2024
  • Exploring a foreign F# codebase

    4 projects | dev.to | 24 Feb 2024
  • Change F#'s Color on GitHub

    2 projects | news.ycombinator.com | 24 Jan 2024
  • Counterfactual Regret Minimisation or How I won any money in Poker?

    2 projects | news.ycombinator.com | 1 Jan 2024
  • Nu Game Engine written in F#

    1 project | news.ycombinator.com | 24 Dec 2023