Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

Scalpel is a parser combinator library using path depend type capability

a Scala pipeline library

Generic programming for Scala

Some Shapeless applications

Fast 🐆, type-safe vectors for Scala

Gain Dependent Types with Java compiled Protobufs

Exploring Dependent Types

Collections raised to the type-level in Scala

Dependently-typed range-checked numbers for Scala

The Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.

Trying to make a practical possibly unsound dependently typed language with algebraic effects

Checking Dependent Types with Normalization by Evaluation

necesito esas cosas raras con tipos

Scala version of my Haskell/Idris IdrisTddNotes project

Access Scala language features on the type-level

Towards changing things and see if it proofs

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

A simple scala-like dependent type programming language

Leibniz equivalence and Liskov substitutability library for Scala.