Popularity

9.0

Stable

Activity

0.0

Stable

Stars 48

Watchers 22

Forks 7

Last Commit over 2 years ago

Monthly Downloads: 73

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 8.8 hermit VS what4

Symbolic formula representation and solver interaction library
sbvPlugin

8.1 6.3 hermit VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

Less time debugging, more time building

Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

Promo scoutapm.com

smtlib2

6.9 0.0 hermit VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

6.2 0.0 hermit VS SmtLib

Parser for smt-lib Command responses
afv

4.7 0.0 hermit VS afv

C model checking.
theoremquest

4.2 0.0 hermit VS theoremquest

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

3.6 0.0 hermit VS tptp

Parser and pretty printer for the TPTP language
acl2

2.9 0.0 hermit VS acl2

Writing and calling ACL2 from Haskell.