2 results found Sort:

ungoogled-software
ungoogled-chromium ungoogled-software
897
21.9k
bsd-3-clause
299
Google Chromium, sans integration with Google
inox control iridium privacy chromium transparency google-chromium
Created 2015-06-12
2,279 commits to master branch, last one 18 hours ago
epfl-lara
stainless epfl-lara
55
370
apache-2.0
18
Verification framework and tool for higher-order Scala programs
z3 smt cvc4 cvc5 inox scala verification formal-methods model-checking proof-assistant
Created 2016-08-17
4,070 commits to main branch, last one 8 days ago