Popular repositories Loading

1. lean4-mode lean4-mode Public

   Forked from leanprover-community/lean4-mode

   Emacs major mode for Lean 4

   Emacs Lisp 7 1

2. polymorph polymorph Public

   Morphing uniform polyhedra bouncing shapes screen saver for Windows

   C++ 1

3. direct2d-svg-example direct2d-svg-example Public

   Small example program to test ID2D1DeviceContext5 and ID2D1SvgDocument in MinGW-W64

   C++ 1 2

4. xoshiro256starstar xoshiro256starstar Public

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

   CMake 1

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

   Möbius tilings

   JavaScript

6. advent2019 advent2019 Public

   https://adventofcode.com/2019

   C++