Type-spec Alternatives

Similar projects and alternatives to type-spec

• HTF

  0 50 3.2 Haskell type-spec VS HTF

  Haskell Test Framework

• type-assertions

  0 1 0.0 Haskell type-spec VS type-assertions

  Runtime type assertions for testing

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• titan

  0 22 0.0 Haskell type-spec VS titan

  Testing Infrastructure for Temporal AbstractioNs

  

• fitspec

  0 74 6.7 Haskell type-spec VS fitspec

  refine properties for testing Haskell programs

• StrictCheck

  0 32 0.0 Haskell type-spec VS StrictCheck

  Keep your laziness in check!

• json-assertions

  0 8 0.0 Haskell type-spec VS json-assertions

  Test that your (Aeson) JSON encoding matches your expectation

• speculate

  0 30 9.0 Haskell type-spec VS speculate

  Speculate laws about Haskell functions

• WorkOS

  workos.com sponsored

  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.

  

• bdd

  0 18 0.0 Haskell type-spec VS bdd

  A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell

  

• devtools

  0 2 0.0 Haskell type-spec VS devtools

  Haskell development tooling

• http-test

  0 3 0.0 Haskell type-spec VS http-test

  Tests for HTTP APIs