Search: github.com/andrejbauer | Heykuki News

HK

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

14 years ago

29 points

2.

Faux Type Theory: three minimalist OCaml simple proof checker implementations

github.com/andrejbauer

9 months ago

3 points

3.

The Programming Languages Zoo

github.com/andrejbauer

4 years ago

3 points

4.

Coop: A prototype programming language for programming with runners

github.com/andrejbauer

7 years ago

2 points

5.

Show HN: An implementation of Spartan type theory

github.com/andrejbauer

2 years ago

1 points

6.

The Programming Languages Zoo

github.com/andrejbauer

8 years ago

1 points

7.

The Programming Languages Zoo

github.com/andrejbauer

9 years ago

TheAsprngHacker

1 points