MagicHaskeller: Automatic inductive functional programmer by systematic search

[ bsd3, language, library, program ] [ Propose Tags ]

MagicHaskeller is an inductive functional programming system for Haskell. This package contains the MagicHaskeller library, which can be used within GHCi or as an API for inductive program synthesis. It also contains the MagicHaskeller executable that is a standalone synthesis program which can be used interactively or as a backend server, and the MagicHaskeller.cgi executable that is a CGI frontend for providing the Web interface.

Versions [faq] 0.8.5, 0.8.6,,,, 0.9.1,,,,,,,,,,,,
Dependencies abstract-par, array, base (==4.*), bytestring, cgi, containers, directory, extensible-exceptions, ghc, ghc-paths, hashable, haskell-src, hint, html, MagicHaskeller, monad-par, mtl, mueval, network, network-uri, old-time, pretty, process, random, syb, template-haskell, tf-random, transformers, unix [details]
License BSD-3-Clause
Author Susumu Katayama
Maintainer Susumu Katayama <>
Category Language
Home page
Bug tracker
Uploaded by SusumuKatayama at Fri Nov 6 00:43:48 UTC 2015
Distributions NixOS:
Executables MagicHaskeller.cgi, MagicHaskeller
Downloads 8446 total (417 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
Last success reported on 2015-12-08 [all 5 reports]


  • Control
    • Monad
      • Search
        • Control.Monad.Search.Best
        • Control.Monad.Search.Combinatorial
  • MagicHaskeller
    • MagicHaskeller.Analytical
    • MagicHaskeller.Classification
    • MagicHaskeller.ExecuteAPI610
    • MagicHaskeller.Expression
    • MagicHaskeller.FastRatio
    • MagicHaskeller.GetTime
    • MagicHaskeller.IOGenerator
    • MagicHaskeller.LibExcel
    • MagicHaskeller.LibTH
    • MagicHaskeller.Minimal
    • MagicHaskeller.Options
    • MagicHaskeller.ProgGen
    • MagicHaskeller.ProgGenSF
    • MagicHaskeller.ProgGenSFIORef
    • MagicHaskeller.RunAnalytical



Use the tf-random package instead of the random package


Enable execution using the GHC API rather than the combinatory interpreter


Enable to read a component library file


Force typechecking at each dynamic application


Find Network.URI in network-uri rather than in network < 2.6 (This is a workaround for the changes made in those packages.)


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees