"topic:static-type-system" — Search

5 results for “topic:static-type-system”

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

C++785Updated 1 week ago

compilercpplanguagellvmlow-level-programmingprogramming-languagestatic-type-systemsystem-programmingtype-inference

kiahjh/lovely

A lovely programming language

Rust566Updated 2 months ago

programming-languagestatic-type-systemsystems-programming

ReFreezed/Gloa

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

Lua220Updated 8 months ago

compilergloaluaprogramming-languagepure-luastatic-type-systemtranspiler

sychoo/corewyvern

No description provided.

Java00Updated 6 years ago

pl-designprogramming-languagestatic-type-systemstatic-typedtype-theory

pidhii/opium

No description provided.

C++00Updated 1 week ago

chickenchicken-schemecode-translatorprologprolog-implementationscripting-languagestatic-type-systemstatic-typecheckingtype-system