Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/
https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/
Last synced: 2 months ago
JSON representation