static-type-system

Here are 6 public repositories matching this topic...

AmrDeveloper / Amun

A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast

language programming-language compiler cpp llvm system-programming type-inference low-level-programming static-type-system

Updated Sep 8, 2023
C++

kiahjh / lovely

Star

A lovely programming language

programming-language systems-programming static-type-system

Updated Dec 6, 2025
Rust

ReFreezed / Gloa

Star

Glóa - a statically typed language that compiles to Lua. *UNDER DEVELOPMENT*

programming-language lua compiler transpiler pure-lua static-type-system gloa

Updated Aug 31, 2021
Lua

pidhii / opium

Star

prolog prolog-implementation scripting-language type-system chicken-scheme chicken static-type-system code-translator static-typechecking

Updated Feb 26, 2026
C++

sychoo / corewyvern

Star

programming-language type-theory static-typed pl-design static-type-system

Updated Jun 17, 2026
Java

ParadoxV5 / rbs

Sponsor

Star

Fork for Contribution || Type Signature for Ruby

ruby type-checking rbs static-type-system

Updated Feb 28, 2025
Ruby

Add this topic to your repo

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

Learn more