static-type-system

There are 0 repository under static-type-system 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
compiler cpp llvm programming-language static-type-system low-level-programming type-inference system-programming language
Language:C++ 61
ReFreezed / Gloa
Glóa - a statically typed language that compiles to Lua. *UNDER DEVELOPMENT*
compiler gloa lua programming-language pure-lua static-type-system transpiler
Language:Lua 19
ParadoxV5 / rbs
Fork for contribution || Type Signature for Ruby
rbs ruby static-type-system type-checking
Language:Ruby 0
sychoo / corewyvern
programming-language type-theory pl-design static-typed static-type-system
Language:Java 0

AmrDeveloper / Amun