All

5 repositories

archives
Public
All MMT archives of formalizations needed by the UFrameIT prototype in the FrameIT project.
knowledge logic formalization
knowledge logic formalization educational-game
Shell
•0•1•0•0•Updated Nov 23, 2025Nov 23, 2025
UFrameIT.github.io
Public
Website for the (U)FrameIT Project, hosted with GitHub pages
website
website
HTML
•3•1•1•0•Updated Jan 23, 2025Jan 23, 2025
UFrameIT
Public
The current Unity-based implementation of the FrameIT approach
unity logic research-project
unity logic research-project educational-game mathematical-knowledge-management
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

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.