Search: github.com/tomprimozic | Heykuki News

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)

113 points

12 years ago

2.

Grow Your Own Type System (github.com/tomprimozic)

105 points

11 years ago

3.

Show HN: Simple refined types implementation that can prevent Heartbleed (github.com/tomprimozic)

56 points

12 years ago

4.

Show HN: Refined types – a better type system for more secure software (github.com/tomprimozic)

3 points

12 years ago

5.

Persistent Vector with amortized O(1) modification on both ends (github.com/tomprimozic)

1 point

4 years ago