Pinned Repositories
splain
better implicit errors for scala
AMMI-GeoDL-notes
https://geometricdeeplearning.com/lectures/
convnet-abstraction
steerable, spherical, harmonic, and other convnet
ISpark
An Apache Spark-shell backend for IPython
scalaspike
shapesafe
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
shapesafe-demo
spookystuff
Scalable query engine for web scrapping/data mashup/acceptance QA, powered by Apache Spark
tribbloid's Repositories
tribbloid/spookystuff
Scalable query engine for web scrapping/data mashup/acceptance QA, powered by Apache Spark
tribbloid/shapesafe
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
tribbloid/scalaspike
tribbloid/shapesafe-demo
tribbloid/buildSrc
gradle template used by multiple projects, can only be imported as git submodule, useless on its own
tribbloid/circe-fs2
Streaming JSON parsing and decoding with fs2
tribbloid/com.vmware.HorizonClient
VMWare Horizon Client Flatpak
tribbloid/compressor
Because we don't have enough time to read everything
tribbloid/dottyspike
Experiments for scala 3
tribbloid/ductw
download exes and weave them in 1 config file, the `w` stands for wrapper, as in gradlew & mavenw
tribbloid/frameless
Expressive types for Spark.
tribbloid/HMD
helmet-mounted display
tribbloid/intellij-awesome-console-scala
IntelliJ IDEA plugin (forked for scala-gradle): awesome console finally makes links in your console at least 200% more awesome!
tribbloid/iskra
Typesafe wrapper for Apache Spark DataFrame API
tribbloid/junit5
✅ The 5th major version of the programmer-friendly testing framework for Java and the JVM
tribbloid/leanspike
Experiments on Lean 4 prover
tribbloid/lp2-lc
lambdaP2 -> lambdaC
tribbloid/polynomial
The category of Poly, simply typed.
tribbloid/protocol-relay
Ser/De library that auto-wires data converters using Curry-Howard correspondence
tribbloid/prover-commons
gradle submodule of graph utilities, can only be compiled if attached to another gradle project
tribbloid/pycharm-settings
tribbloid/scaffold-gradle-kts
scaffold
tribbloid/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
tribbloid/shine
The Shine compiler for the RISE language
tribbloid/sizzle
A sizzlin' hot selector engine.
tribbloid/spookystuff-showcase
tribbloid/uavops
hardware specific deployment & upgrade scripts
tribbloid/ubuntu-quick-setup
tribbloid/unity-template
tribbloid/VLCUnitySpike