2 results found Sort:

Google Chromium, sans integration with Google
Created 2015-06-12
2,262 commits to master branch, last one 18 hours ago
55
366
apache-2.0
19
Verification framework and tool for higher-order Scala programs
Created 2016-08-17
4,067 commits to main branch, last one 25 days ago