Haskell type-level-programming

Open-source Haskell projects categorized as type-level-programming

Top 7 Haskell type-level-programming Projects

type-level-programming
  1. generic-records

    Generically derive traversals, lenses, and prisms.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. membrain

    🧠 Type-safe memory units

  4. o-clock

    :hourglass: Type-safe time units in Haskell

  5. HashedExpression

    Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

  6. type-natural

    Type-level well-kinded natural numbers.

  7. sized

    Sized sequence data-types

  8. singletons-presburger

    Presburger arithmetic solver for built-in type-level naturals

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

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

Haskell type-level-programming discussion

Log in or Post with

Index

What are some of the best open-source type-level-programming projects in Haskell? This list will help you:

# Project Stars
1 generic-records 441
2 membrain 61
3 o-clock 49
4 HashedExpression 43
5 type-natural 34
6 sized 11
7 singletons-presburger 9

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?