bustercopley - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

Pinned Loading

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

    Lean 4

  2. Morphing uniform polyhedra bouncing shapes screen saver for Windows

    C++ 1 1

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

    C++ 1

  4. Möbius tilings

    JavaScript

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

    C++