Popular repositories Loading

1. pentago pentago Public

   A massively parallel pentago solver

   C++ 49 2

2. ray ray Public

   Formalizing results about the Mandelbrot set in Lean

   Lean 20 4

3. poker poker Public

   Investigations into simplified holdem poker

   C++ 11 2

4. duck duck Public

   a functional language built around overloading

   Haskell 10 2

5. mandelbrot mandelbrot Public

   Bounding the area of the Mandelbrot set via the Böttcher series

   C++ 7 1

6. interval interval Public

   Conservative floating point interval arithmetic in Lean

   Lean 7 1