3 open source projects by tribbloid

Scalable query engine for web scrapping/data mashup/acceptance QA, powered by Apache Spark

An Apache Spark-shell backend for IPython

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory