Model based property based testing for tagless final repositories

Expressive types for Spark.

"Probabilistic Machine Learning" - a book series by Kevin Murphy

Scala Programming Projects, published by Packt

Projectile creates beautiful Scala code from your Postgres database, GraphQL queries, or Thrift definitions

The CafeSat SMT solver for Scala

💾 Database Tools incl. ORM, Migrations and Admin UI (Postgres, MySQL & MongoDB) [deprecated]

Writing Fast Parsers Fast in Scala

A language and an embedded JIT compiler

The first and only true Functional Reactive Programming framework for Scala.

Unifying Church and State

Scala examples and exercises

🐴 Pony implementation of http://www.reactive-streams.org/

A z3 inspired theorem prover for Scala.

Configurable restrictions on Scala syntax and method calls for building DSLs

Project, source code and data files for 1st edition "Scala for Machine Learning"

The Z3 Theorem Prover

How to break TimSort and how to fix it

Simple Kata for learning Java 8 Streams and Lambdas

Templates for KNIME scripting integration from MPI-CBG

DIT4C container which provides X11 support via HTML5 VNC.

Resumes generated using the GitHub informations

Open source large document set visualization platform

A library for Proof Theory (especially Proof Compression) in Scala.

Scala SDK (compiler and standard library) for .NET

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Learn You a Scalaz for Greatest Good

JetBrains Meta programming System

HCS-Tools