typed-language

A strongly-typed language that compiles to JavaScript

A pure functional type-inferred language based on JavaScript

A strongly typed language for the web!

Some info that supposed to help to understand PureScript from Haskell perspective

Little Cat is a modern dynamic typed interpreted language that allows you to write programs quickly and easily.

DepKit: A Typed Language for Advanced Package Management

A basic typed programming language that builds on Python 3. This language was developed as a personal project to understand how programming languages and interpreters are built.