Search: github.com/andrejbauer | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Marshall: Exact real arithmetic based on Dedekind reals (github.com/andrejbauer)

29 points

14 years ago

2.

Faux Type Theory: three minimalist OCaml simple proof checker implementations (github.com/andrejbauer)

3 points

9 months ago

3.

The Programming Languages Zoo (github.com/andrejbauer)

3 points

4 years ago

4.

Coop: A prototype programming language for programming with runners (github.com/andrejbauer)

2 points

7 years ago

5.

Show HN: An implementation of Spartan type theory (github.com/andrejbauer)

1 point

2 years ago

6.

The Programming Languages Zoo (github.com/andrejbauer)

1 point

8 years ago

7.

The Programming Languages Zoo (github.com/andrejbauer)

1 point

TheAsprngHacker

8 years ago