lomigmegard/orWall
Put your apps behind Orbot, and block all unwanted traffic in one row.
Mirror of Apache Spark
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Put your apps behind Orbot, and block all unwanted traffic in one row.
Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.
Personal website sources.
The Leon system for verification, synthesis, and more.