static-typing topic
inko
A language for building concurrent software with confidence
react-redux-typescript-guide
The complete guide to static typing in "React & Redux" apps using TypeScript
gear
🛠Experimental tool to bootstrap typed JavaScript code.
groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
umka-lang
Umka: a statically typed embeddable scripting language
daScript
daScript - high-performance statically strong typed scripting language
prometeo
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
typing
Python static typing home. Hosts the documentation and a user help forum.
basil
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
shen-sources
Shen language kernel sources for porters