girving/duck girving/duck

  • Stars
    star
    10
  • Rank 1,804,102 (Top 36 %)
  • Language
    Haskell
  • License
    Other
  • Created over 15 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
girving/duck
github

girving

Reviews

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

Repository Details

a functional language built around overloading

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

mandelbrot

Bounding the area of the Mandelbrot set via the Böttcher series
C++
7
star
5

kalah

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

interval

Conservative floating point interval arithmetic in Lean
Lean
4
star
7

cnpy

C code to write .npy files
C
3
star
8

igakit

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

games

Combinatorial game theory exploration code
Haskell
2
star
10

random123-manual

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

meld

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

waitless

A prototype build system
C
2
star
13

ideas

Miscellaneous very low priority ideas
1
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