girving/interval girving/interval

  • Stars
    star
    4
  • Rank 3,298,402 (Top 66 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created 5 months ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
girving/interval
github

girving

Reviews

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

Repository Details

Conservative floating point interval arithmetic in Lean

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

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