Popular repositories Loading

1. pentago pentago Public

   A massively parallel pentago solver

   C++ 52 2

2. ray ray Public

   Formalizing results about the Mandelbrot set in Lean

   Lean 26 5

3. interval interval Public

   Conservative floating point interval arithmetic in Lean

   Lean 21 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. series series Public

   Power series arithmetic in Lean

   Lean 10