Haskell type-safety

Open-source Haskell projects categorized as type-safety
Edit details
Topics: Haskell type-level-programming Machine Learning Optimization Monad
The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com
Sponsored

Top 4 Haskell type-safety Projects

  • postgresql-typed

    Haskell PostgreSQL library with compile-time type inference

  • o-clock

    :hourglass: Type-safe time units in Haskell

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo

  • HashedExpression

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

  • 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 related posts

Index

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

Project Stars
1 postgresql-typed 83
2 o-clock 49
3 HashedExpression 42
4 monad-metrics-extensible 3

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