statically-typed

There are 8 repositories under statically-typed topic.

• gleam-lang / gleam

  ⭐️ A friendly language for building type-safe, scalable systems!

  compilererlanggleamprogramming-languagestatically-typed
  Language:Rust 20596
• nelua-lang

  edubart / nelua-lang

  Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

  ccompilerefficientlanguagelualuajitmetaprogrammingminimalneluaprogramming-languagestatically-typed
  Language:Lua 2305
• numbat

  sharkdp / numbat

  A statically typed programming language for scientific computations with first class support for physical dimensions and units

  calculatorphysicsprogramming-languagestatically-typedterminal-basedunitsweb-app
  Language:Rust 2217

• alpaca-lang / alpaca

  Functional programming inspired by ML for the Erlang VM

  mlerlangerlang-vmalpacastatically-typedhindley-milner
  Language:Erlang 1454

• pen-lang / pen

  The parallel, concurrent, and functional programming language for scalable software development

  functionalstatically-typedwasmconcurrencyprogramming-languagelanguagegorust
  Language:Rust 464

• yeslogic / fathom

  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

  data-description-languagebinary-formatlanguagestatically-typeddeclarativeparserrustdslbinary-datatype-systemtype-checkerdependent-typesdependent-record-typescompilerprogramming-language
  Language:Rust 266
• fika

  fika-lang / fika

  A statically typed functional programming language for the web.

  elixirerlangfunctional-programmingprogramming-languagestatically-typed
  Language:Elixir 225

• gfngfn / Sesterl

  An ML-like statically-typed Erlang

  erlangprocess-calculusactor-modeltype-systemocamlmonadconcurrent-programmingf-ing-modulesmodule-systemstatically-typedprogramming-languagesesterl
  Language:OCaml 156

• DavidTimms / loxdown

  A statically-typed variant of Lox, written in TypeScript

  interpreterloxstatically-typedtypescript
  Language:TypeScript 134

• isc30 / linq-collections

  Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)

  linqtypescriptstrongly-typedperformancestatically-typedcollectionsjavascript
  Language:TypeScript 120

• Hihaheho / Desk

  🔮 The application platform for your cyberpunk desk

  high-codealgebraic-effectsfunctional-programmingstatically-typedvisual-programming
  Language:Rust 112

• White-Green / kirl-lang

  An experimental project for statically typed scripting language.

  programming-languagelanguagescripting-languagestatically-typed
  Language:Rust 62
• thatlib

  juancarlospaco / thatlib

  Faster pathlib for Python

  pythoncythonspeedspeedup-pythonpathstatically-typedstatic-memory-allocationtype-safememory-safenull-safe
  Language:Python 52

• jfaure / lfvm-stg

  Map lazy functional language constructs to LLVM IR

  compilerconcurrent-programminglambda-calculusllvmpi-calculusprogramming-languagestatically-typed
  Language:Haskell 51

• Luukdegram / luf

  Statically typed, embeddable, scripting language written in Zig.

  ziglanguagescripting-languageembeddable-scripting-languagestatically-typedziglanglufembeddable
  Language:Zig 41

• mykolav / coollang-2020-fs

  Compiler for a small Scala subset

  compilerprogramming-languagefsharptoy-compilerlanguagecompiler-designparsingprogramming-languagesstatically-typedx86-64hobby-compiler
  Language:F# 38

• geralang / geralc

  The initial (legacy) compiler for the Gera programming language.

  compilerprogramming-languagerustcompiled-languagecompilersgarbage-collectiongarbage-collectorinterpreted-languageinterpreted-programming-languageinterpreterinterpreter-languageinterpretersjavascriptprocedural-programmingstatically-typed
  Language:Rust 23

• sunverwerth / strela

  A static strongly typed object oriented programming language with focus on composition

  interpreterlanguageoopscripting-languagestatically-typed
  Language:C++ 23

• axolotl-lang / axolotl

  🌊 A statically typed lisp-like programming language.

  lisplanguagetoy-languageprogramming-languagetyped-lispstatically-typed
  Language:Haskell 21

• cosmo-lang / cosmo

  A simple statically-typed language written in pure Crystal.

  langlanguagecrystalstatically-typedinterpreter
  Language:Crystal 16

• AloneCafe / FROG

  一种简单的、结构化的、面向过程的、静态类型 & 强类型的编程语言，及其编译器、汇编器与虚拟机的设计与实现

  assemblerprogramming-languagevirtual-machinecompilerhard-codedcppstrongly-typedimplementationhand-writtenc-likegraduation-projectstatically-typed
  Language:C++ 13

• BowLang / Bow

  Official source of Bow

  interpreterlanguagestatically-typed
  Language:C# 13

• na0214 / snail

  [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

  statically-typedfunctional-programming-languageprogramming-languageocamlcoeffects
  Language:OCaml 13

• felko / snowflake

  An imperative, statically-typed toy language

  programming-languagecompilerimperative-programmingstatically-typedtoy-compiler
  Language:Haskell 12

• indianakernick / STELA

  A scripting language built for speed in world where JavaScript runs on web servers

  c-plus-plusc-plus-plus-17embeddablescripting-languagestatically-typed
  Language:C++ 11

• JakubGrobelny / aurox-lang

  Interpreter written for Prolog course.

  prologinterpreterfunctional-programmingparsinglogical-programmingprogramming-languageslogic-programmingdcgmlstatically-typedtoy-languageuniversity-projectparametric-polymorphismcompilerstranspilercpp
  Language:Prolog 11

• Zaid-Ajaj / Cable

  Type-safe client-server communication for C# featuring Bridge.NET and NancyFx

  bridge-dot-netnancyfxtype-saferpc-librarycsharpstatically-typed
  Language:C# 10

• chc4 / solar

  pure, statically typed language compiling to llvm in lua

  languagellvmluastatically-typed
  Language:Lua 9

• DavidGregory084 / mina

  A minimum viable functional programming language for the JVM

  compilerfunctional-languagefunctional-languagesfunctional-programmingjava-virtual-machinejvmjvm-languageslanguageprogramming-languagestatically-typed
  Language:Java 9

• Retamogordo / fi-night

  Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro

  fsmprocedural-macropushdown-automatonruststate-machinestatically-typed
  Language:Rust 9

• mbdevpl / static-typing

  Add static type information into Python abstract syntax trees.

  static-typesstatically-typedtype-systemtype-safetystatic-analysisdynamic-analysis
  Language:Python 8

• neolang / neo

  Simple, secure, fast and compiled language for developing maintainable, scalable, reliable, and efficient software. Compiles itself with zero library dependencies and transpiled to C.

  compilerhacktoberfesthacktoberfest-acceptedlanguagesneoprogramming-languagecompiledstaticallystatically-typedtypetyped
  8

• XrXr / alang

  A toy compiler for a statically typed language

  compilerstatically-typedprogramming-language
  Language:Go 8

• zazedd / zaml

  OCaml inspired language

  hindley-milnerocamlprogramming-languagestatically-typedtype-systems
  Language:OCaml 8

• chrisnevers / racket-compiler

  "Racket" to x86 compiler

  programming-languagecompilerracketcompiler-constructionstatically-typedocaml
  Language:OCaml 7
• evelin

  prashantrahul141 / evelin

  Evelin is a general purpose, statically typed, compiled language using the QBE backend with C FFI support.

  compilerqberuststatically-typed
  Language:Rust 7