Explore projects
-
Updated
-
Yet another LPO/KBO-based termination tool written in Haskell.
Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
TCExam is a CBA (Computer-Based Assessment) system (e-exam, CBT - Computer Based Testing) for universities, schools and companies, that enables educators and trainers to author, schedule, deliver, and report on surveys, quizzes, tests and exams.
Updated -
TCExam is a CBA (Computer-Based Assessment) system (e-exam, CBT - Computer Based Testing) for universities, schools and companies, that enables educators and trainers to author, schedule, deliver, and report on surveys, quizzes, tests and exams.
Updated -
TCExam is a CBA (Computer-Based Assessment) system (e-exam, CBT - Computer Based Testing) for universities, schools and companies, that enables educators and trainers to author, schedule, deliver, and report on surveys, quizzes, tests and exams.
Updated -
Updated
-
Exploring and learning about antisocial cognitions by measuring the predictive power of different personality traits and other mental health characteristics on the selected target in the Scrambled Sentences Task.
Updated -
Updated
-
Course material for a ~12 hours introductionary course to Julia. Topics: Introduction, Data Science, Parallel Programming
Updated -
Updated
-
Updated