Submissions from github.com/tomprimozic

		Persistent Vector with amortized O(1) modification on both ends (github.com/tomprimozic)
		1 point by tosh on Dec 11, 2021 \| past
		Grow Your Own Type System (github.com/tomprimozic)
		105 points by wtetzner on Nov 28, 2015 \| past \| 8 comments
		Implementations of various type systems in OCaml (github.com/tomprimozic)
		113 points by mercurial on Aug 13, 2014 \| past \| 6 comments
		Show HN: Simple refined types implementation that can prevent Heartbleed (github.com/tomprimozic)
		56 points by tomp on May 31, 2014 \| past \| 13 comments
		Show HN: Refined types – a better type system for more secure software (github.com/tomprimozic)
		3 points by tomp on May 29, 2014 \| past