⭐️ A friendly language for building type-safe, scalable systems!
-
Updated
Dec 10, 2024 - Rust
#
statically-typed
Here are 58 public repositories matching this topic...
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
c language programming-language lua compiler minimal metaprogramming luajit efficient statically-typed nelua
-
Updated
Dec 5, 2024 - Lua
Functional programming inspired by ML for the Erlang VM
-
Updated
Jun 13, 2020 - Erlang
A statically typed programming language for scientific computations with first class support for physical dimensions and units
-
Updated
Nov 24, 2024 - Rust
The parallel, concurrent, and functional programming language for scalable software development
-
Updated
Dec 11, 2024 - Rust
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
language programming-language rust parser dependent-types compiler binary-data dsl declarative data-description-language type-system statically-typed type-checker binary-format dependent-record-types
-
Updated
Sep 6, 2023 - Rust
A statically typed functional programming language for the web.
-
Updated
May 10, 2021 - Elixir
An ML-like statically-typed Erlang
programming-language erlang ocaml actor-model monad concurrent-programming type-system process-calculus statically-typed module-system f-ing-modules sesterl
-
Updated
Oct 6, 2023 - OCaml
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
-
Updated
Feb 7, 2022 - TypeScript
A statically-typed variant of Lox, written in TypeScript
-
Updated
Jan 6, 2023 - TypeScript
🔮 The application platform for your cyberpunk desk
-
Updated
Sep 13, 2023 - Rust
An experimental project for statically typed scripting language.
-
Updated
Nov 19, 2021 - Rust
Faster pathlib for Python
python cython path speed type-safe statically-typed speedup-python static-memory-allocation memory-safe null-safe
-
Updated
Dec 17, 2023 - Python
Map lazy functional language constructs to LLVM IR
programming-language compiler llvm lambda-calculus concurrent-programming statically-typed pi-calculus
-
Updated
Jun 21, 2019 - Haskell
Statically typed, embeddable, scripting language written in Zig.
language embeddable zig scripting-language statically-typed embeddable-scripting-language ziglang luf
-
Updated
May 24, 2021 - Zig
Compiler of a small Scala subset
language programming-language parsing compiler fsharp x86-64 programming-languages toy-compiler compiler-design statically-typed hobby-compiler
-
Updated
Jan 19, 2024 - F#
A static strongly typed object oriented programming language with focus on composition
-
Updated
Aug 25, 2020 - C++
The initial (legacy) compiler for the Gera programming language.
javascript programming-language rust interpreter compiler garbage-collector garbage-collection compilers interpreted-programming-language interpreters statically-typed procedural-programming compiled-language interpreted-language interpreter-language
-
Updated
May 10, 2024 - Rust
🌊 A statically typed lisp-like (currently) programming language.
-
Updated
Jun 14, 2022 - Haskell
A simple statically-typed language written in pure Crystal.
-
Updated
Apr 26, 2024 - Crystal
Improve this page
Add a description, image, and links to the statically-typed topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the statically-typed topic, visit your repo's landing page and select "manage topics."