Top 4 type-level Open-Source Projects

frunk

7 1,199 5.3 Rust

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Project mention: Apply generic function to every tuple element | /r/learnrust | 2023-05-22

So rust doesn't support variadics, but I have heard some murmurings around the topic. In the meantime, you can still do a lot with recursive tras. The frunk crate makes working with them a lot easier: In this case

compendium-client

5 326 0.0 Haskell

Mu (μ) is a purely functional framework for building micro services.
InfluxDB

www.influxdata.com featured

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.
type-errors-pretty

0 56 0.0 Haskell

💄🐞 Combinators for writing pretty type errors easily
type-natural

0 33 6.2 Haskell

Type-level well-kinded natural numbers.

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).