Pinned Loading

1. shapesafe shapesafe Public

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

   Scala 32 4

2. spookystuff spookystuff Public

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

   Scala 142 36

3. tek/splain tek/splain Public

   better implicit errors for scala

   Scala 371 28