hermit Alternatives - Haskell Formal Methods

Popularity

9.0

Stable

Activity

0.0

Stable

Stars 48

Watchers 22

Forks 7

Last Commit almost 4 years ago

Monthly Downloads: 268

Programming language: Haskell

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

Tags: Math Optimization Language Formal Methods Reflection Refactoring Transformation

hermit alternatives and similar packages

Based on the "Formal Methods" category

sbvPlugin

7.7 6.4 hermit VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT
smtlib2

6.6 0.0 hermit VS smtlib2

A type-safe interface to communicate with an SMT solver.
SmtLib

5.3 0.0 hermit VS SmtLib

Library for parsing SMTLIB2
afv

4.1 0.0 hermit VS afv

Infinite state model checking of iterative C programs.
acl2

2.9 0.0 hermit VS acl2

Writing and calling ACL2 from Haskell.
theoremquest

2.5 0.0 hermit VS theoremquest

A common library for TheoremQuest, a theorem proving game.