girving/ideas girving/ideas

  • Stars
    star
    1
  • Language
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
girving/ideas
github

girving

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Miscellaneous very low priority ideas

More 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
4
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

trust

Visualizing the web of trust
JavaScript
1
star
15

banana

An automated Bananagram player
JavaScript
1
star
16

rational

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

wordpress

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

poster

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