tribbloid/shapesafe

Stars
18
Rank 1,208,065 (Top 24 %)
Language
Scala
License
Apache License 2.0
Created almost 5 years ago
Updated over 1 year ago

tribbloid/shapesafe

tribbloid

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

spookystuff

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

ISpark

An Apache Spark-shell backend for IPython

convnet-abstraction

steerable, spherical, harmonic, and other convnet

Jupyter Notebook

scalaspike

AMMI-GeoDL-notes

https://geometricdeeplearning.com/lectures/

Jupyter Notebook

shapesafe-demo