Explore Projects
Discover 13 open source projects
Showing 1-13 of 13 projects
gleam-lang/gleam
A friendly, type-safe language for building scalable systems.
crystal-lang/crystal
Crystal is a statically-typed programming language with Ruby-like syntax that compiles to efficient native code.
odin-lang/Odin
Odin is a statically-typed, compiled, systems programming language designed for performance and low-level control.
ballerina-platform/ballerina-lang
The Ballerina Programming Language, a cloud-native, statically-typed, and concurrent programming language.
flix/flix
The Flix Programming Language is a statically-typed, functional, and logic-based language that runs on the JVM.
sharkdp/numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units.
edubart/nelua-lang
Nelua is a minimal, efficient, statically-typed and meta-programmable systems programming language inspired by Lua.
rescript-lang/rescript-lang.org
Official documentation website for the ReScript programming language, a statically-typed functional language that compiles to JavaScript.
owenthereal/godzilla
A source code transpiler and runtime that converts ES2015 to Go, enabling developers to build with modern JS features in a statically-typed language.
alpaca-lang/alpaca
Alpaca is a functional programming language inspired by ML, designed to run on the Erlang VM.
gfngfn/SATySFi
SATySFi is a statically-typed, functional typesetting system written in OCaml for creating high-quality PDF documents.
zesterer/tao
A statically-typed functional programming language with advanced type system features for developers.
wende/elchemy
Elchemy allows developers to write Elixir code using Elm-like statically-typed syntax and tooling.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.