Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for statically typed
statically-typed
x
25 search results found
Gleam
⭐
5,746
⭐️ A friendly language for building type-safe, scalable systems!
Nelua Lang
⭐
1,744
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Alpaca
⭐
1,290
Functional programming inspired by ML for the Erlang VM
Numbat
⭐
521
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Pen
⭐
433
The parallel, concurrent, and functional programming language for scalable software development
Fathom
⭐
235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Fika
⭐
186
A statically typed functional programming language for the web.
Sesterl
⭐
122
An ML-inspired statically-typed Erlang
Linq Collections
⭐
110
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
Desk
⭐
103
🔮 The application platform for your cyberpunk desk
Loxdown
⭐
84
A statically-typed variant of Lox, written in TypeScript
Thatlib
⭐
53
Faster pathlib for Python
Lfvm Stg
⭐
45
Map lazy functional language constructs to LLVM IR
Coollang 2020 Fs
⭐
37
Compiler of Cool 2020 (a small Scala subset) into x86-64 assembly, in F#
Luf
⭐
18
Statically typed, embeddable, scripting language written in Zig.
Gerac
⭐
15
The compiler for the Gera programming language.
Cosmo
⭐
15
A simple statically-typed language written in pure Crystal.
Stela
⭐
11
A scripting language built for speed in world where JavaScript runs on web servers
Axolotl
⭐
11
🌊 a statically typed lisp-like (currently) programming language.
Cable
⭐
11
Type-safe client-server communication for C# featuring Bridge.NET and NancyFx
Snail
⭐
11
[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
Strela
⭐
11
A static strongly typed object oriented programming language with focus on composition
Frog
⭐
10
一种简单的、结构化的、面向过程的、静态类型 & 强类型的编程语言,及其编译器、汇编器与虚拟机的设计与实现
Solar
⭐
5
pure, statically typed language compiling to llvm in lua
Mina
⭐
5
A minimum viable functional programming language for the JVM
Related Searches
Programming Language Statically Typed (19)
Language Statically Typed (11)
Rust Statically Typed (7)
Functional Programming Statically Typed (7)
1-25 of 25 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.