Popularity

9.0

Stable

Activity

0.0

Stable

Stars 48

Watchers 22

Forks 10

Last Commit 18 days ago

Monthly Downloads: 24

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

Symbolic formula representation and solver interaction library
sbvPlugin

8.2 5.3 hermit VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

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.

Promo www.sonarqube.org

smtlib2

7.0 0.0 hermit VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

6.0 0.0 hermit VS SmtLib

Parser for smt-lib Command responses
afv

4.5 0.0 hermit VS afv

C model checking.
theoremquest

4.0 0.0 hermit VS theoremquest

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

3.5 0.0 hermit VS tptp

Parser and pretty printer for the TPTP language
acl2

2.6 0.0 hermit VS acl2

Writing and calling ACL2 from Haskell.