This repo contains the working files for my personal lecture notes for Algebraic Topology 1 being taught in the Winter term of 2023/4 by Prof. Dr. Markus Hausmann at the University of Bonn. A compiled ...

The compiler supports writing programs in mixed Compis and C; you can mix .c and .co source files. It accomplishes this by bundling some LLVM tools, like clang and lld into one executable. The LLVM ...

Abstract: Artificial intelligence (AI) in programming teaching is something that still has to be explored, since in this area assessment tools that allow grading the students work are the most common ...

Abstract: An eye tracking technology provides a faster and more intuitive interface to explore the learner psychology. In this paper, with the aim of assisting researcher to expand the knowledge of ...