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 [RSS] [faq] 0.8.5, 0.8.6, 0.8.6.1, 0.8.6.2, 0.8.6.3, 0.9.1, 0.9.6.4.1, 0.9.6.4.2, 0.9.6.4.3, 0.9.6.4.4, 0.9.6.4.5, 0.9.6.4.6, 0.9.6.4.7, 0.9.6.5, 0.9.6.6, 0.9.6.6.1, 0.9.6.7, 0.9.6.8, 0.9.6.9, 0.9.6.10
Change log changelog.txt
Dependencies abstract-par, array, base (==4.*), bytestring, cgi, containers, directory, extensible-exceptions, ghc, ghc-paths, hashable, haskell-src, haskell-src-exts, hint, html, MagicHaskeller, monad-par, mtl, mueval, network (<3.0), network-uri, pretty, process, random, syb, template-haskell, tf-random (<=0.3 || >=0.5), time, transformers, unix [details]
License BSD-3-Clause
Author Susumu Katayama
Maintainer Susumu Katayama <skata@cs.miyazaki-u.ac.jp>
Category Language
Home page http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
Bug tracker mailto:skata@cs.miyazaki-u.ac.jp
Uploaded by SusumuKatayama at 2021-06-18T09:19:13Z
Distributions NixOS:0.9.6.10
Executables MagicHaskeller.cgi, MagicHaskeller
Downloads 13344 total (100 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2021-06-18 [all 2 reports]

Modules

  • Control
    • Monad
      • Search
        • Control.Monad.Search.Best
        • Control.Monad.Search.Combinatorial
  • MagicHaskeller
    • MagicHaskeller.Analytical
    • MagicHaskeller.Classification
    • MagicHaskeller.CoreLang
    • MagicHaskeller.ExecuteAPI610
    • MagicHaskeller.Expression
    • MagicHaskeller.FastRatio
    • MagicHaskeller.GetTime
    • MagicHaskeller.IOGenerator
    • MagicHaskeller.Individual
    • MagicHaskeller.Instantiate
    • MagicHaskeller.LibExcel
    • MagicHaskeller.LibTH
    • MagicHaskeller.Minimal
    • MagicHaskeller.Options
    • MagicHaskeller.PolyDynamic
    • MagicHaskeller.ProgGen
    • MagicHaskeller.ProgGenSF
    • MagicHaskeller.ProgGenSFIORef
    • MagicHaskeller.ProgramGenerator
    • MagicHaskeller.RunAnalytical
    • MagicHaskeller.TICE

Manual Flags

NameDescriptionDefault
Automatic Flags
NameDescriptionDefault
tfrandom

Use the tf-random package instead of the random package

Enabled
ghcapi

Enable execution using the GHC API rather than the combinatory interpreter

Enabled
readfile

Enable to read a component library file

Enabled
readfileexts

Enable to read a component library file using haskell-src-exts

Disabled
debug

Force typechecking at each dynamic application

Disabled
networkuri

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

Enabled
semigroup

Introduce Semigroup as the superclass of Monoid.

Enabled

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates