Hsmtlib Alternatives

Similar projects and alternatives to Hsmtlib based on common topics and language

• liquidhaskell

  4 1,147 9.3 Haskell Hsmtlib VS liquidhaskell

  Liquid Types For Haskell

  

• sbv

  1 235 9.3 Haskell Hsmtlib VS sbv

  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

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

  

• hz3

  0 57 1.3 Haskell Hsmtlib VS hz3

  Haskell bindings to Microsoft's Z3 API (unofficial).

• sbvPlugin

  0 44 6.3 Haskell Hsmtlib VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.

• websockets

  0 401 6.5 Haskell Hsmtlib VS websockets

  A Haskell library for creating WebSocket-capable servers (by jaspervdj)

• call-haskell-from-anything

  0 388 0.0 Haskell Hsmtlib VS call-haskell-from-anything

  Call Haskell functions from any programming language via serialization and dynamic libraries

• network

  3 319 5.4 Haskell Hsmtlib VS network

  Low-level networking interface (by haskell)

  

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