static-type-system

Here are 4 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++

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

sychoo / corewyvern

Star

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

Updated Jun 2, 2022
Java

ParadoxV5 / rbs

Sponsor

Star

Fork for Contribution || Type Signature for Ruby

ruby type-checking rbs static-type-system

Updated Jan 8, 2025
Ruby

Improve this page

Add a description, image, and links to the static-type-system 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-type-system topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

static-type-system

Here are 4 public repositories matching this topic...

AmrDeveloper / Amun

ReFreezed / Gloa

sychoo / corewyvern

ParadoxV5 / rbs

Improve this page

Add this topic to your repo