Pinned Loading

2. Lemmas on floating-point arithmetic, in Lean 4

   Lean 4

3. Morphing uniform polyhedra bouncing shapes screen saver for Windows

   C++ 1 1

4. C++20 std::uniform_random_bit_generator implemented by xoshiro256**

   C++ 1

5. Möbius tilings

   JavaScript

6. Weight-balanced binary tree (C++20)

   C++