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
lp2-lc-lean4
who needs type constructor? (in lean 4)
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/lp2-lc-lean4
who needs type constructor? (in lean 4)
tribbloid/scalaspike
tribbloid/arpx
Small-scale process orchestration
tribbloid/buildSrc
gradle template used by multiple projects, can only be imported as git submodule, useless on its own
tribbloid/CAD-schematics
tribbloid/com.vmware.HorizonClient
VMWare Horizon Client Flatpak
tribbloid/dottyspike
Experiments for scala 3
tribbloid/eclipse-alt-keymap
jetbrains keymap plugin
tribbloid/effect-zoo
Effect Zoo for Scala
tribbloid/frameless
Expressive types for Spark.
tribbloid/IDEA-setting
synced by shared setting plugin
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/lp2-lc
lambdaP2 -> lambdaC
tribbloid/MAVLinkAPI
Unity package to subscribe to open-source drones
tribbloid/minidot
Dependent Object Types (DOT), bottom up
tribbloid/prover-commons
gradle submodule of graph utilities, can only be compiled if attached to another gradle project
tribbloid/scaffold-gradle-kts
scaffold
tribbloid/scalafix
Refactoring and linting tool for Scala
tribbloid/scalatestplus-junit5
tribbloid/shapeless-reborn
Generic programming in Scala -- shapeless cross-built for Scala 2 and 3
tribbloid/shine
The Shine compiler for the RISE language
tribbloid/six-scala
version upgrade interop
tribbloid/Spark-Ring-AllReduce
Ring Allreduce implmentation in Spark with Barrier Scheduling experiment
tribbloid/uavops
hardware specific deployment & upgrade scripts
tribbloid/ubuntu-quick-setup
tribbloid/unity-missing-references-finder
A tool to find missing references in Unity
tribbloid/vscode-syncing
:zap: VSCode Extension - Sync all of your VSCode settings across multiple devices.