The hermit package

[ Tags: bsd3, formal-methods, language, library, optimization, program, refactoring, reflection, transformation ] [ Propose Tags ]

HERMIT uses Haskell to express semi-formal models, efficient implementations, and provide a bridging DSL to describe via stepwise refinement the connection between these models and implementations. The key transformation in the bridging DSL is the worker/wrapper transformation.


Versions 0.0,,,,,,,,,,,,,,,,, 1.0.1
Dependencies base (>1 && <1) [details]
License BSD3
Author Andy Gill
Maintainer Andy Gill <>
Category Language, Formal Methods, Optimization, Transformation, Refactoring, Reflection
Uploaded Tue Aug 2 04:38:09 UTC 2011 by AndyGill
Updated Sat Sep 19 23:07:42 UTC 2015 by AndrewFarmer to revision 1
Distributions NixOS:1.0.1
Downloads 3658 total (24 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees