There are 1 repository under typed-language topic.
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.
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.