The hermit package

[Tags:bsd3, library, program, test]

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 3594 total (33 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees