Search: github.com/tomprimozic | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Implementations of various type systems in OCaml

github.com/tomprimozic

12 years ago

113 points

2.

Grow Your Own Type System

github.com/tomprimozic

11 years ago

105 points

3.

Show HN: Simple refined types implementation that can prevent Heartbleed

github.com/tomprimozic

12 years ago

56 points

4.

Show HN: Refined types – a better type system for more secure software

github.com/tomprimozic

12 years ago

3 points

5.

Persistent Vector with amortized O(1) modification on both ends

github.com/tomprimozic

5 years ago

1 points