Hermit Alternatives

Similar projects and alternatives to hermit

• nimber

  0 2 0.0 Haskell hermit VS nimber

  Finite nimber arithmetic

• what4

  0 146 6.9 Haskell hermit VS what4

  Symbolic formula representation and solver interaction library

  

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

  

• theoremquest

  0 4 0.0 Haskell hermit VS theoremquest

• smtlib2

  0 14 0.0 Haskell hermit VS smtlib2

  SMTLib2 interface implementation for Haskell

• sbvPlugin

  0 44 6.3 Haskell hermit VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.

• SmtLib

  0 2 0.0 Haskell hermit VS SmtLib

  Parser for smt-lib Command responses

  

• th-cas

  0 17 0.0 Haskell hermit VS th-cas

  Compile time CAS(Computer Algebra System) for 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.

  

• singular-factory

  1 0 0.0 Haskell hermit VS singular-factory

  singular-factory: Haskell bindings to the factorization library of Singular CAS

• mcmc-types

  0 3 0.0 Haskell hermit VS mcmc-types

  Common types for sampling.

• gamma

  0 7 0.0 Haskell hermit VS gamma

  Haskell implementation of gamma and incomplete gamma functions (by mokus0)