Haskell type-safety

Open-source Haskell projects categorized as type-safety
Edit details
Haskell type-level-programming Machine Learning Optimization Monad
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured

Top 4 Haskell type-safety Projects

type-safety

  1. postgresql-typed

    Haskell PostgreSQL library with compile-time type inference

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo

  3. o-clock

    :hourglass: Type-safe time units in Haskell

  4. HashedExpression

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

  5. monad-metrics-extensible

    Type-safe and extensible metrics monad over ekg

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-safety discussion

Log in or Post with

Haskell type-safety related posts

  • Typical: Data interchange with algebraic data types

    4 projects | news.ycombinator.com | 21 May 2023

  • What databases do you find the most productive to connect to Haskell?

    3 projects | /r/haskell | 29 Dec 2022

Index

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

# Project Stars
1 postgresql-typed 85
2 o-clock 49
3 HashedExpression 43
4 monad-metrics-extensible 3

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com

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

Loading...