FStar
An ML-like language aimed at program verification
‘We Didn’t Understand the Risks’: Neil Armstrong’s Sons Remember Apollo 11
2019-06-24
Crypto startup Audius aims to make dapps easier to use with new open-source tool
2019-06-24
DevOps outsourcing: everything you need to know to get started
2019-06-24
Startups Turn to Traditional Advertising for Attention
2019-06-24
Want a House Like This? Prepare for a Bidding War with Investors
2019-06-24
Phantasy Star Online 2 to Be Released for Xbox One Spring 2020
2019-06-09
A collection of network embedding papers with implementations (1600 stars)
2019-06-09
Putting a Price on Latency: Startup Network Next Aims to Fix Internet Routing
2019-06-09
Italy's Scary Parallel Currency Threat: The Mini-Bot
2019-06-09
A variadic, completion-based future class for C++17
2019-06-09
