Hermit Alternatives

Similar projects and alternatives to hermit

• nimber

  - 2 0.0 Haskell hermit VS nimber

  Finite nimber arithmetic

• theoremquest

  - 4 0.0 Haskell hermit VS theoremquest

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• what4

  - 135 6.3 Haskell hermit VS what4

  Symbolic formula representation and solver interaction library

  

• sbvPlugin

  - 40 5.2 Haskell hermit VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.

• SmtLib

  - 2 0.0 Haskell hermit VS SmtLib

  Parser for smt-lib Command responses

  

• smtlib2

  - 14 0.0 Haskell hermit VS smtlib2

  SMTLib2 interface implementation for Haskell

• th-cas

  - 16 0.0 Haskell hermit VS th-cas

  Compile time CAS(Computer Algebra System) for Haskell

• InfluxDB

  www.influxdata.com

  sponsored

  Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  

• singular-factory

  - 0 0.0 Haskell hermit VS singular-factory

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

• mcmc-types

  - 3 0.0 Haskell hermit VS mcmc-types

  Common types for sampling.

• continued-fractions

  - 7 0.0 Haskell hermit VS continued-fractions

  Haskell library for manipulating and evaluating continued fractions