A programming language. Static types. Full type inference. Garbage collection. --- not stable
-
Updated
Oct 27, 2025 - C++
#
typechecking
Here are 3 public repositories matching this topic...
Lovable memory-safe systems language with a pretty fast compiler
programming-language runtime data-oriented-design memory-safety compilers syntactic-sugar type-inference compiler-optimization typechecking
-
Updated
Oct 10, 2025 - C++
An R 📦 to insert function argument and return type contracts
-
Updated
Oct 7, 2022 - C++
Improve this page
Add a description, image, and links to the typechecking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecking topic, visit your repo's landing page and select "manage topics."