Peng Cheng

icon indicating an email [email protected]

icon company acyclic.ai icon location Toronto

Results 3 repositories owned by Peng Cheng

ISpark

105
Stars
29
Forks
Watchers

An Apache Spark-shell backend for IPython

verified publisher icon tribbloid

shapesafe

25
Stars
4
Forks
Watchers

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

verified publisher icon tribbloid

spookystuff

139
Stars
36
Forks
Watchers

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

verified publisher icon tribbloid