TypeDB: the power of programming, in your database
A language toolchain for explicitly typed annotated Python. 🐍
Strongly typed linear algebra library with a focus on 3D applications like games (i.e. low-dimensional vectors and matrices)
Structured, type safe, templating
A strongly typed, and expressive functional programming language
Procedural macros for naming and strong-typing pritimives and strings in Rust
a scripting language (primarily) for games written in Rust
Programming language for 2020 repl.it language jam.
My attempt to solve the AoC2022 with the Rust programming language.
Add a description, image, and links to the strongly-typed topic page so that developers can more easily learn about it.
To associate your repository with the strongly-typed topic, visit your repo's landing page and select "manage topics."