Page 96 of 9217 results
-
citrineinformatics/lolo 6.5.0
A random forest
Scala versions: 2.13 -
http4s/http4s-dom 0.2.11
http4s, in a browser near you
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.x -
tribbloid/shapesafe 0.1.4
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Scala versions: 2.13 -
uuverifiers/ostrich 1.4.1
An SMT Solver for string constraints
Scala versions: 2.13 2.12 2.11 -
lensesio/avro-sql
Use SQL to transform your avro schema/records
-
dmytromitin/auxify 0.8
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
Scala versions: 2.13 2.12 2.11 2.10