-
-
-
spookystuff Public
Scalable query engine for web scrapping/data mashup/acceptance QA, powered by Apache Spark
-
prover-commons Public
gradle submodule of graph utilities, can only be compiled if attached to another gradle project
-
buildSrc Public
gradle template used by multiple projects, can only be imported as git submodule, useless on its own
Kotlin Apache License 2.0 UpdatedApr 13, 2024 -
com.vmware.HorizonClient Public
Forked from FilBot3/com.vmware.HorizonClientVMWare Horizon Client Flatpak
UpdatedApr 9, 2024 -
-
shapesafe Public
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
-
polynomial Public
Forked from julianpeeters/polynomialThe category of Poly, simply typed.
Scala Apache License 2.0 UpdatedMar 23, 2024 -
frameless Public
Forked from typelevel/framelessExpressive types for Spark.
Scala Apache License 2.0 UpdatedMar 3, 2024 -
-
-
compressor Public
Forked from yobibyte/compressorBecause we don't have enough time to read everything
Python MIT License UpdatedNov 29, 2023 -
-
-
uavops Public
hardware specific deployment & upgrade scripts
Python Apache License 2.0 UpdatedOct 6, 2023 -
-
-
-
junit5 Public
Forked from junit-team/junit5✅ The 5th major version of the programmer-friendly testing framework for Java and the JVM
Java Other UpdatedApr 28, 2023 -
circe-fs2 Public
Forked from circe/circe-fs2Streaming JSON parsing and decoding with fs2
Scala UpdatedApr 10, 2023 -
-
scala Public
Forked from scala/scalaScala 2 compiler and standard library. For bugs, see scala/bug
-
sizzle Public
Forked from jquery/sizzleA sizzlin' hot selector engine.
JavaScript Other UpdatedJan 14, 2023 -
-
protocol-relay Public
Ser/De library that auto-wires data converters using Curry-Howard correspondence
Kotlin Apache License 2.0 UpdatedDec 18, 2022 -
convnet-abstraction Public
steerable, spherical, harmonic, and other convnet
-
-
-
autoshade Public
Smooth shading of Scala projects using Maven or Gradle
Kotlin Apache License 2.0 UpdatedOct 13, 2022