A purely functional programming language with first class types

A core language and API for dependently typed languages

Accelerated machine learning with dependent types

A simple, stack-safe effect system based on the RIO Monad