statically-typed

There are 56 repositories under statically-typed topic.

  • gleam-lang/gleam

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

    Language:Rust16.1k841.7k666
  • 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:Lua1.9k5210463

  • alpaca-lang/alpaca

    Functional programming inspired by ML for the Erlang VM

    Language:Erlang1.4k6210946
  • numbat

    sharkdp/numbat

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

    Language:Rust958627737

  • pen-lang/pen

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

    Language:Rust44282127

  • yeslogic/fathom

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

    Language:Rust2571514314
  • fika

    fika-lang/fika

    A statically typed functional programming language for the web.

    Language:Elixir22444313

  • gfngfn/Sesterl

    An ML-like statically-typed Erlang

    Language:OCaml1509295

  • isc30/linq-collections

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

    Language:TypeScript11893913

  • DavidTimms/loxdown

    A statically-typed variant of Lox, written in TypeScript

    Language:TypeScript109414

  • Hihaheho/Desk

    ๐Ÿ”ฎ The application platform for your cyberpunk desk

    Language:Rust10933510

  • White-Green/kirl-lang

    An experimental project for statically typed scripting language.

    Language:Rust625171
  • thatlib

    juancarlospaco/thatlib

    Faster pathlib for Python

    Language:Python52414

  • jfaure/lfvm-stg

    Map lazy functional language constructs to LLVM IR

    Language:Haskell50311

  • mykolav/coollang-2020-fs

    Compiler of a small Scala subset

    Language:F#38322

  • Luukdegram/luf

    Statically typed, embeddable, scripting language written in Zig.

    Language:Zig352264

  • sunverwerth/strela

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

    Language:C++20440

  • axolotl-lang/axolotl

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

    Language:Haskell18111

  • geralang/geralc

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

    Language:Rust18101

  • cosmo-lang/cosmo

    A simple statically-typed language written in pure Crystal.

    Language:Crystal15103

  • AloneCafe/FROG

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

    Language:C++14101

  • BowLang/Bow

    Official source of Bow

    Language:C#12250

  • felko/snowflake

    An imperative, statically-typed toy language

    Language:Haskell12301

  • na0214/snail

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

    Language:OCaml12130

  • indianakernick/STELA

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

    Language:C++11200

  • Zaid-Ajaj/Cable

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

    Language:C#10311

  • chc4/solar

    pure, statically typed language compiling to llvm in lua

    Language:Lua9201

  • JakubGrobelny/aurox-lang

    Interpreter written for Prolog course.

    Language:Prolog9200

  • mbdevpl/static-typing

    Add static type information into Python abstract syntax trees.

    Language:Python9302

  • dmeijboom/atom

    Statically typed programming language with LLVM as backend

    Language:Rust72120

  • chrisnevers/racket-compiler

    "Racket" to x86 compiler

    Language:OCaml6200

  • DavidGregory084/mina

    A minimum viable functional programming language for the JVM

    Language:Java6301

  • Retamogordo/fi-night

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

    Language:Rust6200

  • XrXr/alang

    A toy compiler for a statically typed language

    Language:Go6200

  • AgathokakologicalBit/wit

    A [not-so-soon-to-be] safe programming language closely integrated with various tools for ease of development.

    Language:C++5200

  • soniachrn/lala

    Lala programming language

    Language:C4101