13 results found Sort:

gleam-lang
gleam gleam-lang
754
18.0k
apache-2.0
87
⭐️ A friendly language for building type-safe, scalable systems!
gleam erlang compiler statically-typed programming-language
Created 2016-06-30
7,801 commits to main branch, last one 20 hours ago
edubart
nelua-lang edubart
68
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.
c lua nelua luajit minimal compiler language efficient metaprogramming statically-typed programming-language
Created 2017-10-28
1,626 commits to master branch, last one about a month ago
alpaca-lang
alpaca alpaca-lang
48
1.4k
other
60
Functional programming inspired by ML for the Erlang VM
ml alpaca erlang erlang-vm hindley-milner statically-typed
Created 2016-01-28
883 commits to main branch, last one 5 years ago
sharkdp
numbat sharkdp
53
1.3k
apache-2.0
9
A statically typed programming language for scientific computations with first class support for physical dimensions and units
units physics web-app calculator terminal-based statically-typed programming-language
Created 2022-07-23
1,860 commits to master branch, last one 12 days ago
pen-lang
pen pen-lang
5
448
apache-2.0
8
The parallel, concurrent, and functional programming language for scalable software development
go rust wasm language functional concurrency statically-typed programming-language
Created 2021-06-09
1,930 commits to main branch, last one 17 hours ago
yeslogic
fathom yeslogic
14
259
apache-2.0
15
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
dsl rust parser compiler language binary-data declarative type-system type-checker binary-format dependent-types statically-typed programming-language dependent-record-types data-description-language
Created 2015-01-09
2,650 commits to main branch, last one about a year ago
fika-lang
fika fika-lang
13
226
apache-2.0
4
A statically typed functional programming language for the web.
elixir erlang statically-typed programming-language functional-programming
Created 2020-08-31
94 commits to main branch, last one 3 years ago
gfngfn
Sesterl gfngfn
5
152
unknown
9
An ML-like statically-typed Erlang
monad ocaml erlang sesterl actor-model type-system f-ing-modules module-system process-calculus statically-typed programming-language concurrent-programming
Created 2020-04-25
1,400 commits to master branch, last one 2 years ago
isc30
linq-collections isc30
12
119
mit
9
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
linq javascript typescript collections performance strongly-typed statically-typed
Created 2017-05-19
247 commits to master branch, last one 2 years ago
DavidTimms
loxdown DavidTimms
5
118
unknown
4
A statically-typed variant of Lox, written in TypeScript
lox typescript interpreter statically-typed
Created 2020-04-10
219 commits to master branch, last one 3 years ago
Hihaheho
Desk Hihaheho
10
110
other
3
🔮 The application platform for your cyberpunk desk
high-code statically-typed algebraic-effects visual-programming functional-programming
This repository has been archived (exclude archived)
Created 2021-11-09
493 commits to main branch, last one about a year ago
White-Green
kirl-lang White-Green
1
62
mit
5
An experimental project for statically typed scripting language.
language statically-typed scripting-language programming-language
Created 2021-08-30
66 commits to main branch, last one 3 years ago
juancarlospaco
thatlib juancarlospaco
4
52
mit
4
Faster pathlib for Python
path speed cython python null-safe type-safe memory-safe speedup-python statically-typed static-memory-allocation
Created 2021-05-10
193 commits to nim branch, last one 11 months ago