Popularity
9.0
Stable
Activity
0.0
Stable
48
22
10
Monthly Downloads: 24
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
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.
-
theoremquest
A common library for TheoremQuest, a theorem proving game.
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
Do you think we are missing an alternative of hermit or a related project?