statically-typed

There are 68 repositories under statically-typed topic.

  • gleam-lang/gleam

    โญ๏ธ A friendly language for building type-safe, scalable systems!

    Language:Rust20.4k902.4k870
  • 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.

    Language:Lua2.3k5513174
  • numbat

    sharkdp/numbat

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

    Language:Rust2.1k1739283

  • alpaca-lang/alpaca

    Functional programming inspired by ML for the Erlang VM

    Language:Erlang1.5k5811047

  • pen-lang/pen

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

    Language:Rust46052136

  • yeslogic/fathom

    ๐Ÿšง (Alpha stage software) A declarative data definition language for formally specifying binary data formats. ๐Ÿšง

    Language:Rust2641514412
  • fika

    fika-lang/fika

    A statically typed functional programming language for the web.

    Language:Elixir22534313

  • gfngfn/Sesterl

    An ML-like statically-typed Erlang

    Language:OCaml1548295

  • DavidTimms/loxdown

    A statically-typed variant of Lox, written in TypeScript

    Language:TypeScript133415

  • isc30/linq-collections

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

    Language:TypeScript11983911

  • Hihaheho/Desk

    ๐Ÿ”ฎ The application platform for your cyberpunk desk

    Language:Rust11233510

  • White-Green/kirl-lang

    An experimental project for statically typed scripting language.

    Language:Rust625171
  • thatlib

    juancarlospaco/thatlib

    Faster pathlib for Python

    Language:Python52312

  • jfaure/lfvm-stg

    Map lazy functional language constructs to LLVM IR

    Language:Haskell50311

  • Luukdegram/luf

    Statically typed, embeddable, scripting language written in Zig.

    Language:Zig412264

  • mykolav/coollang-2020-fs

    Compiler for a small Scala subset

    Language:F#38222

  • sunverwerth/strela

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

    Language:C++23342

  • geralang/geralc

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

    Language:Rust22101

  • axolotl-lang/axolotl

    ๐ŸŒŠ A statically typed lisp-like programming language.

    Language:Haskell21111

  • cosmo-lang/cosmo

    A simple statically-typed language written in pure Crystal.

    Language:Crystal16103

  • AloneCafe/FROG

    ไธ€็ง็ฎ€ๅ•็š„ใ€็ป“ๆž„ๅŒ–็š„ใ€้ขๅ‘่ฟ‡็จ‹็š„ใ€้™ๆ€็ฑปๅž‹ & ๅผบ็ฑปๅž‹็š„็ผ–็จ‹่ฏญ่จ€๏ผŒๅŠๅ…ถ็ผ–่ฏ‘ๅ™จใ€ๆฑ‡็ผ–ๅ™จไธŽ่™šๆ‹Ÿๆœบ็š„่ฎพ่ฎกไธŽๅฎž็Žฐ

    Language:C++13101

  • BowLang/Bow

    Official source of Bow

    Language:C#13250

  • na0214/snail

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

    Language:OCaml13131

  • felko/snowflake

    An imperative, statically-typed toy language

    Language:Haskell12201

  • indianakernick/STELA

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

    Language:C++11200

  • JakubGrobelny/aurox-lang

    Interpreter written for Prolog course.

    Language:Prolog10101

  • Zaid-Ajaj/Cable

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

    Language:C#10211

  • chc4/solar

    pure, statically typed language compiling to llvm in lua

    Language:Lua9101

  • DavidGregory084/mina

    A minimum viable functional programming language for the JVM

    Language:Java9201

  • Retamogordo/fi-night

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

    Language:Rust9200

  • mbdevpl/static-typing

    Add static type information into Python abstract syntax trees.

    Language:Python8202

  • XrXr/alang

    A toy compiler for a statically typed language

    Language:Go8200

  • zazedd/zaml

    OCaml inspired language

    Language:OCaml8100

  • chrisnevers/racket-compiler

    "Racket" to x86 compiler

    Language:OCaml7100

  • 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.

    7001
  • evelin

    prashantrahul141/evelin

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

    Language:Rust7