Constraints-deriving Alternatives

Similar projects and alternatives to constraints-deriving

• mios

  0 39 0.0 Haskell constraints-deriving VS mios

  A SAT solver written in Haskell.

• constraints-emerge

  0 18 0.0 Haskell constraints-deriving VS constraints-emerge

  📤 defer instance resolution until runtime

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

  

• superconstraints

  0 5 0.0 Haskell constraints-deriving VS superconstraints

• constraints

  3 70 5.4 Haskell constraints-deriving VS constraints

  Tools for programming with ConstraintKinds in GHC

• cluss

  0 4 0.0 Haskell constraints-deriving VS cluss

  simple alternative to type classes

• gw

  0 2 0.0 Haskell constraints-deriving VS gw

  ghcWithPackages cmdline util (by chessai)

• exists

  0 1 0.0 Haskell constraints-deriving VS exists

  Existential datatypes holding evidence of constraints

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

  

• rosa

  0 3 0.8 Haskell constraints-deriving VS rosa

• sync-mht

  0 22 0.0 Haskell constraints-deriving VS sync-mht

  Synchronize directory hierarchies using Hash-Tree's

• stratum-tool

  0 3 0.0 Haskell constraints-deriving VS stratum-tool

  Command-line tool for communicating with Electrum server