Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
The public repository for the JLogic law formalization course
Homework/Quiz problems for AI lectures
The course on Secure and Dependable Systems.