14 results found Sort:

790
18.7k
apache-2.0
90
⭐️ A friendly language for building type-safe, scalable systems!
Created 2016-06-30
8,219 commits to main branch, last one 7 hours ago
70
2.1k
mit
52
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Created 2017-10-28
1,629 commits to master branch, last one about a month ago
48
1.4k
other
60
Functional programming inspired by ML for the Erlang VM
Created 2016-01-28
883 commits to main branch, last one 5 years ago
56
1.4k
apache-2.0
11
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Created 2022-07-23
1,938 commits to master branch, last one 10 hours ago
6
454
apache-2.0
7
The parallel, concurrent, and functional programming language for scalable software development
Created 2021-06-09
1,983 commits to main branch, last one 2 days ago
12
260
apache-2.0
15
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Created 2015-01-09
2,650 commits to main branch, last one about a year ago
13
226
apache-2.0
4
A statically typed functional programming language for the web.
Created 2020-08-31
94 commits to main branch, last one 3 years ago
5
152
unknown
9
An ML-like statically-typed Erlang
Created 2020-04-25
1,400 commits to master branch, last one 3 years ago
5
121
unknown
4
A statically-typed variant of Lox, written in TypeScript
Created 2020-04-10
219 commits to master branch, last one 4 years ago
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
Created 2017-05-19
247 commits to master branch, last one 2 years ago
10
111
other
3
🔮 The application platform for your cyberpunk desk
This repository has been archived (exclude archived)
Created 2021-11-09
493 commits to main branch, last one about a year ago
An experimental project for statically typed scripting language.
Created 2021-08-30
66 commits to main branch, last one 3 years ago
Faster pathlib for Python
Created 2021-05-10
194 commits to nim branch, last one 22 days ago
Statically typed, embeddable, scripting language written in Zig.
Created 2020-09-01
265 commits to master branch, last one 3 years ago