This is your work, valued

Toronto

Peng Cheng

Expert
@tribbloid

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

140

ISpark. An Apache Spark-shell backend for IPython

105

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

32

convnet-abstraction. steerable, spherical, harmonic, and other convnet

5

shapesafe-demo. Scala

1

scalaspike. Scala

1

lp2-lc-lean4. who needs type constructor? (in lean 4)

1

AMMI-GeoDL-notes. https://geometricdeeplearning.com/lectures/

1