The hax package

[Tags:library, mit, program]

This package contains a library that for a double-entry accounting based cash-flow simulation with a detailed translation of the German tax code including personal income tax (Einkommensteuer), corporate tax (Körperschaftsteuer) and trade/business tax (Gewerbesteuer).

See Readme on Github.

[Skip to Readme]


Versions 0.0.1, 0.0.2 (info)
Dependencies aeson (>= && <0.12), array (>= && <0.6), base (>= && <4.10), blaze-html (>= && <0.9), blaze-markup (>= && <0.8), boxes (>=0.1.4 && <0.2), bytestring (>= && <0.11), containers (>= && <0.6), Decimal (>=0.4.2 && <0.5), directory (>= && <1.3), filepath (>= && <1.5), mtl (>=2.2.1 && <2.3), split (>= && <0.3), template-haskell (>= && <2.12), text (>= && <1.3), transformers (>= && <0.6) [details]
License MIT
Author Johannes Gerer
Maintainer Johannes Gerer <>
Category Finance
Home page
Bug tracker
Uploaded Wed Jan 25 18:59:30 UTC 2017 by johannesgerer
Distributions NixOS:0.0.2
Downloads 89 total (14 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

Readme for hax

Readme for hax-0.0.2


A library for cash-flow and tax simulations. The type system is used to ensure correctness e.g. of double-entry accounting, and the correct calculation of taxes. The use of Haskell's do-notation and type-classes permit an almost verbatim translation of the tax code into the program.

It currently includes personal income tax (Einkommensteuer), corporate tax (K├Ârperschaftsteuer) and trade/business tax (Gewerbesteuer), but could easily be extended to other legal systems


stack runghc -- -isrc src/main

will produce a folder named html containing the results of the HAX.Example that commes with this library. The look at the full ledger in html/index.html or the charts static/charts.html.


The docs on Hackage are quite comprehensive (with some parts in German).