Pinned

1. nearsoccer nearsoccer Public

   CTF PvP First Person Soccer with movement abilities, grenades, buffs, and many more! HSE University (SPb) C++ (Spring 2022) semester project. Developed by me, @rpuwa, and @ArtemKar123

   C++ 4 1

2. coq-supplementary coq-supplementary Public

   Forked from dboulytchev/coq-supplementary

   HSE University (SPb) Semantics of Programming Languages (Spring 2024) course assignments

   Coq

3. static-program-analysis-supplementary static-program-analysis-supplementary Public template

   Forked from vorpal-research/TIP

   HSE University (SPb) Static Program Analysis (Spring 2024) course assignments

   Scala

4. futamura futamura Public

   Forked from dboulytchev/futamura

   Supplementary repository for Spring School on System Software-2024

   C 1

5. concurrent-monotonic-buffer-allocator concurrent-monotonic-buffer-allocator Public

   Simple header-only C++20 concurrent monotonic buffer allocator that models the allocator requirements from the [allocator.requirements] ISO C++ section.

   C++

6. intrinsics-arm intrinsics-arm Public

   ARM64 assembly utilities for HPC software both for C and C++

   C++