HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
F* – Microsoft's programming language with a superset of features over F#
github.com/FStarLang
1 comment
4 years ago
philonoist
10 points
2.
▲
Show HN: FuturLang – Natural language formal verification
1 comment
5 months ago
wapiou
1 points