static-typing topic
Quartz
The official compiler for the Quartz programming language
Opal
Simple and powerful programming language with type inference
micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
elara-go
Interpreter for old Elara specification, written in Go
arktype
TypeScript's 1:1 validator, optimized from editor to runtime
jogo
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
prisma-typebox-generator
typebox ( typescript static type & json schema ) generator for Prisma 2
mypy-baseline
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
klaxon
Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).