13 results found Sort:

747
17.9k
apache-2.0
86
⭐️ A friendly language for building type-safe, scalable systems!
Created 2016-06-30
7,735 commits to main branch, last one 17 hours ago
67
2.1k
mit
51
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,626 commits to master branch, last one 19 days ago
47
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
51
1.2k
apache-2.0
9
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Created 2022-07-23
1,841 commits to master branch, last one 3 days ago
5
450
apache-2.0
8
The parallel, concurrent, and functional programming language for scalable software development
Created 2021-06-09
1,918 commits to main branch, last one 2 days ago
14
259
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 2 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
5
118
unknown
4
A statically-typed variant of Lox, written in TypeScript
Created 2020-04-10
219 commits to master branch, last one 3 years ago
10
110
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 2 years ago
Faster pathlib for Python
Created 2021-05-10
193 commits to nim branch, last one 10 months ago