FStar
An ML-like language aimed at program verification
This Repo Has 552 Stars
2021-08-31
Startup Bootstrapping Plan
2021-08-31
Ask HN: Starting to feel like a coding monkey
2021-08-31
Prosus Buys Billdesk for $4.7B
2021-08-31
RFC-0082: Runnning unmodified Linux programs on Fuchsia
2021-08-31
Learn to Build Applications with F#
2021-08-31
Ask HN: I think my manager is trying to fire me
2021-08-31
One-third of Sun-like stars may have eaten their planets
2021-08-31
Ask HN: Tech jobs addressing crises like Hurricane Ida/Afghanistan refugees?
2021-08-30
Show HN: NLP Flashcards for Most of the Internet
2021-08-30
