Hacker News
- Show HN: Simple refined types implementation that can prevent Heartbleed https://github.com/tomprimozic/type-systems/tree/master/refined_types 13 comments
- Refined types: a better type system for more secure software https://github.com/tomprimozic/type-systems/tree/master/refined_types#readme 18 comments programming
Linking pages
Linked pages
Related searches:
Search whole site: site:github.com
Search title: type-systems/refined_types at master · tomprimozic/type-systems · GitHub
See how to search.