TypeDB: the power of programming, in your database
TypeQL: 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
Procedural macros for naming and strong-typing pritimives and strings in Rust
A strongly typed, and expressive functional programming language
a scripting language (primarily) for games written in Rust
Strongly typed embedded document database
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."