Skip to content
@ideas-edu

IDEAS

Interactive Domain-specific Exercise Assistants

Popular repositories Loading

  1. ideas ideas Public

    Feedback services for intelligent tutoring systems

    Haskell 26 14

  2. refactor-tutor refactor-tutor Public

    A tutoring system that lets students practice with improving small programs that are already functionally correct.

    Haskell 4

  3. AskElleWeb AskElleWeb Public

    Web application for AskElle

    JavaScript 1

  4. logictools logictools Public

    Logic tools

    JavaScript 1

  5. ideas-rest ideas-rest Public

    Haskell 2

Repositories

Showing 5 of 5 repositories
  • logictools Public

    Logic tools

    ideas-edu/logictools’s past year of commit activity
    JavaScript 1 Apache-2.0 0 17 6 Updated Apr 16, 2024
  • refactor-tutor Public

    A tutoring system that lets students practice with improving small programs that are already functionally correct.

    ideas-edu/refactor-tutor’s past year of commit activity
    Haskell 4 Apache-2.0 0 0 0 Updated Jun 23, 2023
  • ideas Public

    Feedback services for intelligent tutoring systems

    ideas-edu/ideas’s past year of commit activity
    Haskell 26 Apache-2.0 14 7 0 Updated Jan 6, 2023
  • AskElleWeb Public

    Web application for AskElle

    ideas-edu/AskElleWeb’s past year of commit activity
    JavaScript 1 Apache-2.0 0 0 0 Updated Nov 27, 2017
  • ideas-rest Public
    ideas-edu/ideas-rest’s past year of commit activity
    Haskell 0 2 0 0 Updated Jan 27, 2017

Top languages

Loading…

Most used topics

Loading…