ideas: Feedback services for intelligent tutoring systems

[ apache, education, library ] [ Propose Tags ]

ideas provides feedback services to intelligent tutoring systems such as the digital mathematical environment of the Freudenthal Institute, MathDox, and Activemath.

Versions [faq] 0.5.8, 0.6, 0.7, 1.0, 1.1, 1.2, 1.3, 1.3.1, 1.4, 1.5, 1.6, 1.7
Dependencies array, base (>=4.2 && <5), bytestring, containers, Diff, directory, exceptions, filepath, mtl (==2.1.*), multipart, network (<2.6), old-locale, old-time, parsec, QuickCheck (>=2.4.1 && <2.7), random, time, uniplate, wl-pprint, xhtml [details]
License LicenseRef-GPL
Copyright (c) 2015
Author Bastiaan Heeren, Alex Gerdes, Johan Jeuring
Maintainer bastiaan.heeren@ou.nl
Category Education
Home page http://ideas.cs.uu.nl/www/
Source repo head: svn checkout https://ideas.cs.uu.nl/svn/Feedback/trunk/
Uploaded by BastiaanHeeren at Thu Apr 9 11:09:21 UTC 2015
Distributions NixOS:1.7
Downloads 4950 total (205 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-06-01 [all 6 reports]

Modules

  • Ideas
    • Common
      • Algebra
        • Ideas.Common.Algebra.Boolean
        • Ideas.Common.Algebra.BooleanLaws
        • Ideas.Common.Algebra.Field
        • Ideas.Common.Algebra.FieldLaws
        • Ideas.Common.Algebra.Group
        • Ideas.Common.Algebra.GroupLaws
        • Ideas.Common.Algebra.Law
        • Ideas.Common.Algebra.SmartGroup
      • Ideas.Common.Classes
      • Ideas.Common.Context
      • Ideas.Common.Derivation
      • Ideas.Common.DerivationTree
      • Ideas.Common.Environment
      • Ideas.Common.Exercise
      • Ideas.Common.ExerciseTests
      • Ideas.Common.Id
      • Ideas.Common.Library
      • Ideas.Common.Predicate
      • Ideas.Common.Rewriting
        • Ideas.Common.Rewriting.AC
        • Ideas.Common.Rewriting.Confluence
        • Ideas.Common.Rewriting.Difference
        • Ideas.Common.Rewriting.RewriteRule
        • Ideas.Common.Rewriting.Substitution
        • Ideas.Common.Rewriting.Term
        • Ideas.Common.Rewriting.Unification
      • Ideas.Common.Rule
        • Ideas.Common.Rule.Abstract
        • Ideas.Common.Rule.EnvironmentMonad
        • Ideas.Common.Rule.Parameter
        • Ideas.Common.Rule.Recognizer
        • Ideas.Common.Rule.Transformation
      • Ideas.Common.Strategy
        • Ideas.Common.Strategy.Abstract
        • Ideas.Common.Strategy.Choice
        • Ideas.Common.Strategy.Combinators
        • Ideas.Common.Strategy.Configuration
        • Ideas.Common.Strategy.Core
        • Ideas.Common.Strategy.Derived
        • Ideas.Common.Strategy.Location
        • Ideas.Common.Strategy.Parsing
        • Ideas.Common.Strategy.Process
        • Ideas.Common.Strategy.Sequence
        • Ideas.Common.Strategy.Traversal
      • Traversal
        • Ideas.Common.Traversal.Iterator
        • Ideas.Common.Traversal.Navigator
        • Ideas.Common.Traversal.Tests
        • Ideas.Common.Traversal.Utils
      • Ideas.Common.Utils
        • Ideas.Common.Utils.QuickCheck
        • Ideas.Common.Utils.StringRef
        • Ideas.Common.Utils.TestSuite
        • Ideas.Common.Utils.Uniplate
      • Ideas.Common.View
    • Encoding
      • Ideas.Encoding.DecoderJSON
      • Ideas.Encoding.DecoderXML
      • Ideas.Encoding.Encoder
      • Ideas.Encoding.EncoderHTML
      • Ideas.Encoding.EncoderJSON
      • Ideas.Encoding.EncoderXML
      • Ideas.Encoding.Evaluator
      • Ideas.Encoding.LinkManager
      • Ideas.Encoding.ModeJSON
      • Ideas.Encoding.ModeXML
      • Ideas.Encoding.OpenMathSupport
      • Ideas.Encoding.RulePresenter
      • Ideas.Encoding.RulesInfo
      • Ideas.Encoding.StrategyInfo
    • Main
      • Ideas.Main.BlackBoxTests
      • Ideas.Main.Default
      • Ideas.Main.Documentation
      • Ideas.Main.LoggingDatabase
      • Ideas.Main.Options
      • Ideas.Main.Revision
    • Service
      • Ideas.Service.BasicServices
      • Ideas.Service.Diagnose
      • Ideas.Service.DomainReasoner
      • FeedbackScript
        • Ideas.Service.FeedbackScript.Analysis
        • Ideas.Service.FeedbackScript.Parser
        • Ideas.Service.FeedbackScript.Run
        • Ideas.Service.FeedbackScript.Syntax
      • Ideas.Service.FeedbackText
      • Ideas.Service.ProblemDecomposition
      • Ideas.Service.Request
      • Ideas.Service.ServiceList
      • Ideas.Service.State
      • Ideas.Service.Submit
      • Ideas.Service.Types
    • Text
      • Ideas.Text.HTML
      • Ideas.Text.JSON
      • OpenMath
        • Dictionary
          • Ideas.Text.OpenMath.Dictionary.Arith1
          • Ideas.Text.OpenMath.Dictionary.Calculus1
          • Ideas.Text.OpenMath.Dictionary.Fns1
          • Ideas.Text.OpenMath.Dictionary.Linalg2
          • Ideas.Text.OpenMath.Dictionary.List1
          • Ideas.Text.OpenMath.Dictionary.Logic1
          • Ideas.Text.OpenMath.Dictionary.Nums1
          • Ideas.Text.OpenMath.Dictionary.Quant1
          • Ideas.Text.OpenMath.Dictionary.Relation1
          • Ideas.Text.OpenMath.Dictionary.Transc1
        • Ideas.Text.OpenMath.FMP
        • Ideas.Text.OpenMath.Object
        • Ideas.Text.OpenMath.Symbol
        • Ideas.Text.OpenMath.Tests
      • Ideas.Text.Parsing
      • Ideas.Text.UTF8
      • Ideas.Text.XML
        • Ideas.Text.XML.Document
        • Ideas.Text.XML.Interface
        • Ideas.Text.XML.Parser
        • Ideas.Text.XML.Unicode

Downloads

Maintainer's Corner

For package maintainers and hackage trustees