Topic: "typed-language"
purescript/purescript
A strongly-typed language that compiles to JavaScript
Language: Haskell - Size: 13.1 MB - Last synced at: 3 days ago - Pushed at: 22 days ago - Stars: 8,717 - Forks: 569

cdiggins/heron-language
A pure functional type-inferred language based on JavaScript
Language: HTML - Size: 18 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 57 - Forks: 5

prakhar1989/JSJS
A strongly typed language for the web!
Language: OCaml - Size: 3.55 MB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 41 - Forks: 5

unclechu/purescript-for-haskellers
Some info that supposed to help to understand PureScript from Haskell perspective
Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 32 - Forks: 1

lclang/LittleCat
Little Cat is a modern dynamic typed interpreted language that allows you to write programs quickly and easily.
Language: Java - Size: 2.3 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 2

mugen1234/metro
A Typed Script Language
Language: C++ - Size: 2.71 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 2

bomkei/chang
Language: C++ - Size: 124 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

evadegano/constrictor
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.
Language: Python - Size: 20.5 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

vbcpascal/depkit
DepKit: A Typed Language for Advanced Package Management
Language: C++ - Size: 106 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
