Popular repositories Loading

1. pentago pentago Public

   A massively parallel pentago solver

   C++ 51 2

2. ray ray Public

   Formalizing results about the Mandelbrot set in Lean

   Lean 21 4

3. interval interval Public

   Conservative floating point interval arithmetic in Lean

   Lean 16 3

4. poker poker Public

   Investigations into simplified holdem poker

   C++ 12 2

5. duck duck Public

   a functional language built around overloading

   Haskell 10 2

6. mandelbrot mandelbrot Public

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

   C++ 7 1