Geoffrey Irving (@girving)
github

girving

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    131
  • Global Rank 170,092 (Top 6 %)
  • Followers 382
  • Following 3
  • Registered over 15 years ago
  • Most used languages
    C
         29.4 %
    Python
         17.6 %
    C++
         17.6 %
    Haskell
         11.8 %
    Lean     11.8 %
    JavaScript
         11.8 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 8,111
  • Country Ranking
    Lean     7
    Haskell
         218
    C++
         616
    C
         1,303
    Python
         9,292

Top repositories

1

pentago

A massively parallel pentago solver
C++
49
star
2

ray

Formalizing results about the Mandelbrot set in Lean
Lean
20
star
3

poker

Investigations into simplified holdem poker
C++
11
star
4

duck

a functional language built around overloading
Haskell
10
star
5

mandelbrot

Bounding the area of the Mandelbrot set via the BΓΆttcher series
C++
7
star
6

kalah

A perfect kalah player for up to 5 stones per bin
C
6
star
7

interval

Conservative floating point interval arithmetic in Lean
Lean
4
star
8

cnpy

C code to write .npy files
C
3
star
9

igakit

Personal clone of https://bitbucket.org/dalcinl/igakit
Python
2
star
10

games

Combinatorial game theory exploration code
Haskell
2
star
11

random123-manual

Repository to track different versions of Salmon et al.'s Random123 library
C
2
star
12

meld

Fork of http://git.gnome.org/cgit/meld
Python
2
star
13

waitless

A prototype build system
C
2
star
14

ideas

Miscellaneous very low priority ideas
1
star
15

trust

Visualizing the web of trust
JavaScript
1
star
16

banana

An automated Bananagram player
JavaScript
1
star
17

rational

Fixed precision rational numbers exposed to python to test numpy user defined types
C
1
star
18

wordpress

Fork of http://core.svn.wordpress.org
1
star
19

poster

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