Repositories list

• archives

  Public
  All MMT archives of formalizations needed by the UFrameIT prototype in the FrameIT project.

  knowledgelogicformalization+ 1educational-game

  Shell

  •0•0•0•0•Updated Sep 8, 2024Sep 8, 2024

• UFrameIT.github.io

  Public
  Website for the (U)FrameIT Project, hosted with GitHub pages

  website

  HTML

  •3•0•1•0•Updated Jul 23, 2024Jul 23, 2024

• UFrameIT

  Public
  The current Unity-based implementation of the FrameIT approach

  logicresearch-projecteducational-game+ 2mathematical-knowledge-managementunity

  HTML

  •

  GNU General Public License v3.0

  •3•11•32•0•Updated Jan 13, 2023Jan 13, 2023

• LoViWo

  Public
  Unity-based project connecting Logical- and Virtual worlds by using logic-based knowledge-management techniques

  C#

  •1•0•0•0•Updated Nov 4, 2022Nov 4, 2022

• old-FrameIT-unreal

  Public archive
  C++

  •1•1•1•0•Updated May 8, 2017May 8, 2017