Geoffrey Irving

pentago. A massively parallel pentago solver

ray. Formalizing results about the Mandelbrot set in Lean

interval. Conservative floating point interval arithmetic in Lean

poker. Investigations into simplified holdem poker

series. Power series arithmetic in Lean

duck. A functional language built around overloading

ray-render. Verified renders of the Mandelbrot set

kalah. A perfect kalah player for up to 5 stones per bin

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

debate. Formalizing stochastic doubly-efficient debate

cnpy. C code to write .npy files

igakit. Personal clone of https://bitbucket.org/dalcinl/igakit

deepmath. Experiments towards neural network theorem proving

random123-manual. Repository to track different versions of Salmon et al.'s Random123 library

waitless. A prototype build system

meld. Fork of http://git.gnome.org/cgit/meld

banana. An automated Bananagram player

games. Combinatorial game theory exploration code

trust. Visualizing the web of trust

wordpress. Fork of http://core.svn.wordpress.org

pbrt. Source code for the version of pbrt described in the second edition of "Physically Based Rendering"

rational. Fixed precision rational numbers exposed to python to test numpy user defined types

ideas. Miscellaneous very low priority ideas

numpy. Numpy main repository

flann. Fast Library for Approximate Nearest Neighbors

poster. Posters based on Irving and Segerman, "Developing Fractal Curves".

geode. A computational geometry library for C++ and Python