ideas: Feedback services for intelligent tutoring systems

[ apache, education, library ] [ Propose Tags ] [ Report a vulnerability ]

Ideas (Interactive Domain-specific Exercise Assistants) is a joint research project between the Open University of the Netherlands and Utrecht University. The project's goal is to use software and compiler technology to build state-of-the-art components for intelligent tutoring systems (ITS) and learning environments. The ideas software package provides a generic framework for constructing the expert knowledge module (also known as a domain reasoner) for an ITS or learning environment. Domain knowledge is offered as a set of feedback services that are used by external tools such as the digital mathematical environment (DME), MathDox, and the Math-Bridge system. We have developed several domain reasoners based on this framework, including reasoners for mathematics, linear algebra, logic, learning Haskell (the Ask-Elle programming tutor) and evaluating Haskell expressions, and for practicing communication skills (the serious game Communicate!).

Modules

[Index]

Flags

Automatic Flags
NameDescriptionDefault
logging

enable support for logging interactions to a sqlite3 database

Enabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 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, 1.8
Change log CHANGELOG.txt
Dependencies base (>=4.8 && <5), blaze-builder (>=0.4), bytestring, case-insensitive, containers, Diff, directory, filepath, HDBC, HDBC-sqlite3, http-types, mtl, network, parsec, QuickCheck (>=2.8 && <2.12), random, semigroups (>=0.18 && <0.19), streaming-commons (<0.2), time, uniplate, wai, wl-pprint [details]
Tested with ghc ==7.10.3, ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.2
License Apache-2.0
Copyright (c) 2019
Author Bastiaan Heeren, Alex Gerdes, Johan Jeuring
Maintainer bastiaan.heeren@ou.nl
Category Education
Home page http://ideas.cs.uu.nl/
Source repo head: git clone https://github.com/ideas-edu/ideas.git
Uploaded by BastiaanHeeren at 2019-09-13T14:37:34Z
Distributions
Reverse Dependencies 3 direct, 0 indirect [details]
Downloads 9611 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2019-09-13 [all 2 reports]