Popularity

9.0

Stable

Activity

0.0

Stable

Stars 49

Watchers 23

Forks 10

Last Commit over 1 year ago

Monthly Downloads: 43

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Math Optimization Language Formal Methods Reflection Refactoring Transformation

Latest version: v1.0.1

hermit alternatives and similar packages

Based on the "Formal Methods" category.
Alternatively, view hermit alternatives based on common mentions on social networks and blogs.

what4

9.4 6.7 hermit VS what4

Symbolic formula representation and solver interaction library
sbvPlugin

8.2 6.3 hermit VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

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

Promo www.influxdata.com

smtlib2

6.7 0.0 hermit VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

5.9 0.0 hermit VS SmtLib

Parser for smt-lib Command responses
afv

5.1 0.0 hermit VS afv

C model checking.
theoremquest

4.8 0.0 hermit VS theoremquest

A common library for TheoremQuest, a theorem proving game.
tptp

4.4 0.0 hermit VS tptp

Parser and pretty printer for the TPTP language
acl2

3.6 0.0 hermit VS acl2

Writing and calling ACL2 from Haskell.