Toronto

Peng Cheng

Expert

@tribbloid

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

ISpark. An Apache Spark-shell backend for IPython

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

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

shapesafe-demo. Scala

scalaspike. Scala

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

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

views 8 projects