statically-typed
There are 56 repositories under statically-typed topic.
gleam-lang/gleam
โญ๏ธ A friendly language for building type-safe, scalable systems!
edubart/nelua-lang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
alpaca-lang/alpaca
Functional programming inspired by ML for the Erlang VM
sharkdp/numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
pen-lang/pen
The parallel, concurrent, and functional programming language for scalable software development
yeslogic/fathom
๐ง (Alpha stage software) A declarative data definition language for formally specifying binary data formats. ๐ง
fika-lang/fika
A statically typed functional programming language for the web.
gfngfn/Sesterl
An ML-like statically-typed Erlang
isc30/linq-collections
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
DavidTimms/loxdown
A statically-typed variant of Lox, written in TypeScript
Hihaheho/Desk
๐ฎ The application platform for your cyberpunk desk
White-Green/kirl-lang
An experimental project for statically typed scripting language.
juancarlospaco/thatlib
Faster pathlib for Python
jfaure/lfvm-stg
Map lazy functional language constructs to LLVM IR
mykolav/coollang-2020-fs
Compiler of a small Scala subset
Luukdegram/luf
Statically typed, embeddable, scripting language written in Zig.
sunverwerth/strela
A static strongly typed object oriented programming language with focus on composition
geralang/geralc
The initial (legacy) compiler for the Gera programming language.
axolotl-lang/axolotl
๐ A statically typed lisp-like (currently) programming language.
cosmo-lang/cosmo
A simple statically-typed language written in pure Crystal.
AloneCafe/FROG
ไธ็ง็ฎๅ็ใ็ปๆๅ็ใ้ขๅ่ฟ็จ็ใ้ๆ็ฑปๅ & ๅผบ็ฑปๅ็็ผ็จ่ฏญ่จ๏ผๅๅ ถ็ผ่ฏๅจใๆฑ็ผๅจไธ่ๆๆบ็่ฎพ่ฎกไธๅฎ็ฐ
BowLang/Bow
Official source of Bow
felko/snowflake
An imperative, statically-typed toy language
na0214/snail
[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
indianakernick/STELA
A scripting language built for speed in world where JavaScript runs on web servers
JakubGrobelny/aurox-lang
Interpreter written for Prolog course.
Zaid-Ajaj/Cable
Type-safe client-server communication for C# featuring Bridge.NET and NancyFx
chc4/solar
pure, statically typed language compiling to llvm in lua
mbdevpl/static-typing
Add static type information into Python abstract syntax trees.
zazedd/zaml
OCaml inspired language
Retamogordo/fi-night
Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro
XrXr/alang
A toy compiler for a statically typed language
chrisnevers/racket-compiler
"Racket" to x86 compiler
DavidGregory084/mina
A minimum viable functional programming language for the JVM
AgathokakologicalBit/wit
A [not-so-soon-to-be] safe programming language closely integrated with various tools for ease of development.
soniachrn/lala
Lala programming language