Skip to content

@ideas-edu IDEAS

Change the repository type filter

All

    Repositories list

    5 repositories

    • logictools

      Public
      Logic tools
      JavaScript
      •
      Apache License 2.0
      •0•1•17•6•Updated Apr 16, 2024Apr 16, 2024

    • refactor-tutor

      Public
      A tutoring system that lets students practice with improving small programs that are already functionally correct.
      Haskell
      •
      Apache License 2.0
      •0•4•0•0•Updated Jun 23, 2023Jun 23, 2023

    • ideas

      Public
      Feedback services for intelligent tutoring systems
      Haskell
      •
      Apache License 2.0
      •14•26•7•0•Updated Jan 6, 2023Jan 6, 2023

    • AskElleWeb

      Public
      Web application for AskElle
      JavaScript
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 27, 2017Nov 27, 2017

    • ideas-rest

      Public
      Haskell
      •2•0•0•0•Updated Jan 27, 2017Jan 27, 2017