lomigmegard/spark
Mirror of Apache Spark
Developer Profile
lomigmegard
Discovered public repositories for lomigmegard in the GitHub catalog.
lomigmegard/orWall
Put your apps behind Orbot, and block all unwanted traffic in one row.
lomigmegard/comfusy
Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.
lomigmegard/personal-site
Personal website sources.
lomigmegard/leon
The Leon system for verification, synthesis, and more.
lomigmegard/TextSecure
A secure text messaging application for Android.
lomigmegard/scala-sbt.g8
Giter8 template for Scala project using sbt.