Popularity

9.0

Stable

Activity

0.0

Stable

Stars 49

Watchers 23

Forks 10

Last Commit 8 months ago

Monthly Downloads: 7

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

Symbolic formula representation and solver interaction library
sbvPlugin

8.1 0.0 hermit VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

Clean code begins in your IDE with SonarLint

Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

Promo www.sonarlint.org

smtlib2

6.6 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.4 0.0 hermit VS afv

C model checking.
theoremquest

5.1 0.0 hermit VS theoremquest

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

4.8 0.0 hermit VS tptp

Parser and pretty printer for the TPTP language
acl2

4.1 0.0 hermit VS acl2

Writing and calling ACL2 from Haskell.