Popularity

9.0

Declining

Activity

0.0

Stable

Stars 48

Watchers 22

Forks 7

Last Commit almost 2 years ago

Monthly Downloads: 109

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.3 8.6 hermit VS what4

Symbolic formula representation and solver interaction library
sbvPlugin

8.1 0.2 hermit VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

Promo github.com/nanovms

smtlib2

7.0 0.0 hermit VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

6.3 0.0 hermit VS SmtLib

Parser for smt-lib Command responses
afv

4.8 0.0 hermit VS afv

C model checking.
theoremquest

4.4 0.0 hermit VS theoremquest

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

3.2 2.2 hermit VS tptp

Parser and pretty printer for the TPTP language
acl2

3.0 0.0 hermit VS acl2

Writing and calling ACL2 from Haskell.