#

static-typing

Here are 8 public repositories matching this topic...

tomoikey / refined_type

`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

rust library validation crate rust-lang safety crates-io refinement-types static-typing runtime-validation type-library refined-types

Updated Nov 20, 2025
Rust

akyuute / gock-lang

The Gock programming language.

language programming-language rust compiler static-typing

Updated Sep 14, 2024
Rust

oyi-lang / oyi

The Oyi Programming Language.

compiler jvm ml macros static-typing oyi oyi-lang

Updated Oct 14, 2023
Rust

FerrisScript

dev-parkins / FerrisScript

🦀 FerrisScript - A Rust-inspired scripting language for Godot 4.x game development. Brings Rust's safety and performance to game scripting with static typing, immutability by default, and zero-cost abstractions. Early stage (v0.0.1) - contributions welcome!

programming-language rust gamedev compiler game-engine game-development scripting-language rust-lang godot godot-engine type-system static-typing ferris godot-4 gdextension

Updated Oct 14, 2025
Rust

wyatt-avilla / py-combinator

Python library with Rust bindings for statically typed iterator combinators

python-library static-typing pyo3 maturin

Updated Jun 19, 2025
Rust

GandelXIV / pytack

A python type anotation checker

python rust analyzer static-typing

Updated Apr 24, 2022
Rust

acweathersby / rum

Compiler for the RUM programming language

compiler assembly low-level static-typing rvsdg

Updated Nov 17, 2025
Rust

pain-lng / pain-compiler

Pain language compiler

programming-language compiler jit-compiler static-typing

Updated Nov 21, 2025
Rust

Improve this page

Add a description, image, and links to the static-typing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the static-typing topic, visit your repo's landing page and select "manage topics."