Pinned Loading

1. lean4-mode lean4-mode Public

   Forked from leanprover-community/lean4-mode

   Emacs major mode for Lean 4

   Emacs Lisp 7 1

2. lean-float lean-float Public

   Lemmas on floating-point arithmetic, in Lean 4

   Lean 4

3. polymorph polymorph Public

   Morphing uniform polyhedra bouncing shapes screen saver for Windows

   C++ 1 1

4. xoshiro256starstar xoshiro256starstar Public

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

   C++ 1

5. bustercopley.github.io bustercopley.github.io Public

   Möbius tilings

   JavaScript

6. wb wb Public

   Weight-balanced binary tree (C++20)

   C++