2 results found Sort:
Google Chromium, sans integration with Google
Created
2015-06-12
2,204 commits to master branch, last one 3 days ago
Verification framework and tool for higher-order Scala programs
Created
2016-08-17
3,975 commits to main branch, last one about a month ago