Pinned Loading

1. epfldata/squid epfldata/squid Public

   Squid – type-safe metaprogramming and compilation framework for Scala

   Scala 198 14

2. simple-sub simple-sub Public

   Alternative algorithm for algebraic subtyping.

   Scala 152 9

3. hkust-taco/mlscript hkust-taco/mlscript Public

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

   Scala 178 28

4. simpler-sub simpler-sub Public

   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 …

   Scala 25 1

5. epfldata/dbstage epfldata/dbstage Public

   Scala 15 1

6. hkust-taco/mlstruct hkust-taco/mlstruct Public

   Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

   Scala 35 2