strict-typing

Here are 5 public repositories matching this topic...

Kipper-Lang / Kipper

The strongly typed programming languages implementing advanced runtime types & casts for a smoother development experience on the web!🦊✨ Made at HTL Leonding & JKU Linz ~ Open Dev Releases

nodejs javascript language programming-language cli typescript compiler oop transpiler antlr4 programming-lang kipper strict-typing

Updated Nov 6, 2026
TypeScript

vantoanvh / LuauParser

Star

A full & optimized Luau parser in luau, both AST and CST with error recovery & various parsing options

parser compiler roblox ast optimized cst lexer type-checked luau roblox-lua strict-typing

Updated Aug 22, 2026
Luau

LeonardoFirme / image-optimizer-cli

Star

CLI de alta performance para otimização de imagens e conversão para WebP/AVIF. Desenvolvido com Python 3.12+, tipagem estrita (Mypy) e processamento paralelo. Focado em Core Web Vitals e automação de CI/CD.

infrastructure cli automation laravel performance nextjs multithreading python3 webp developer-tools image-optimization mypy avif strict-typing

Updated Feb 26, 2026
Python

Fenn-Vinter / AlopexOS

Star

A modern OS designed for the users convenience and elegance. With plenty of support for cross platform development and program execution. This OS provides a seamless experience for any user without the piles of patchwork.

modern cpp modern-cpp os innovation creative contributions-welcome closed-source innovative strict-typing

Updated Oct 1, 2026
C

Alpha-Park / genpark-type-coercion-and-casting-engine-skill

Star

Safely coerces stringified primitives and mixed data types into strictly typed Python ints, floats, booleans, and lists

mcp developer-tools schema-validation data-cleaning python-standard-library type-coercion strict-typing agent-skills tool-call-repair casting-engine argument-casting

Updated Sep 30, 2026
Python

Add this topic to your repo

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

Learn more