https://github.com/sharkdp/numbat
GitHub - sharkdp/numbat: A statically typed programming language for scientific computations with...
A statically typed programming language for scientific computations with first class support for physical dimensions and units - sharkdp/numbat
statically typed
https://ori-lang.com/
OriLang — Statically-Typed Compiled Programming Language
OriLang is a compiled programming language with value semantics, ARC memory, and capability effects. No GC, no borrow checker — compiles to native via LLVM.
statically typedcompiledprogramminglanguage
https://elm-pages.com/
elm-pages - a statically typed site generator
pull in typed elm data to your pages
statically typedelmpagessitegenerator
https://globalscript.org/
Global Script - A statically-typed pure-functional near-Lisp for people who hate parentheses
A statically-typed pure-functional near-Lisp for people who hate parentheses