Source code for the X Recommendation Algorithm

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

Scala language server with rich IDE features 🚀

Writing Fast Parsers Fast in Scala

RxScala – Reactive Extensions for Scala – a library for composing asynchronous and event-based programs using observable sequences

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

Squid – type-safe metaprogramming and compilation framework for Scala

Alternative algorithm for algebraic subtyping.

Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough …

Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)

Principal Type Inference in a Boolean Algebra of Structural Types

A Toy Lisp Dialect