TypeDB: one giant leap for databases
-
Updated
Sep 29, 2024 - Rust
TypeDB: one giant leap for databases
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)
Procedural macros for naming and strong-typing pritimives and strings in Rust
A strongly typed, and expressive functional programming language
Programming language for 2020 repl.it language jam.
a scripting language (primarily) for games written in Rust
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."