girving/random123-manual

1

pentago

A massively parallel pentago solver

C++

49

2

ray

Formalizing results about the Mandelbrot set in Lean

Lean

20

3

poker

Investigations into simplified holdem poker

C++

11

4

duck

a functional language built around overloading

Haskell

10

5

mandelbrot

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

C++

7

6

kalah

A perfect kalah player for up to 5 stones per bin

C

6

7

interval

Conservative floating point interval arithmetic in Lean

Lean

4

8

cnpy

C code to write .npy files

C

4

9

igakit

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

Python

2

10

games

Combinatorial game theory exploration code

Haskell

2

11

meld

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

Python

2

12

waitless

A prototype build system

C

2

13

ideas

Miscellaneous very low priority ideas

1

14

trust

Visualizing the web of trust

JavaScript

1

15

banana

An automated Bananagram player

JavaScript

1

16

rational

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

C

1

17

wordpress

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

1

18

poster

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

Python

1