My old bachelor project, where I and my teammate built the java moblie app for AR interfaces
https://www.twine.net/signin

This is my dimploma for master
Cosmos DB, Node js, Express js, Angular web page that is a online judge system for math and computer science problems (Math proofs are submitted with Lean4 language, computer science problems are submitted with C++ language, math proof are automatically verified, computer sicence problems have flexibility of adding tests for each task).

https://www.twine.net/signin

This are my solutions for the Nand2Tetris course
(building a processor, RAM memory, screen, keyboard, a register assembly translator to binary, a stack assembly compiler to register assembly, an object-oriented high-level language compiler to stack assembly and small standard language library with OS-level functions (memory allocation, deallocation, strings, math, geometry and printing libraries)

https://www.twine.net/signin

These files are some of my solutions to Leetcode questions, that were taken from Neetcode list.
Some of them have the proof of correctness and proof of the time/memory complexity.

https://www.twine.net/signin

These files represent the early stages of low-level math library for LEAN4 language, used for math proof verifications. It uses First-order logic natural deduction laws and ZFC axioms of Set Theory to define math constructions and proof theorems about them.

https://www.twine.net/signin