13 results found Sort:

gleam-lang
gleam gleam-lang
684
16.4k
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,065 commits to main branch, last one 20 hours ago
edubart
nelua-lang edubart
63
1.9k
mit
53
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,617 commits to master branch, last one 12 days ago
alpaca-lang
alpaca alpaca-lang
46
1.4k
other
62
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
40
992
apache-2.0
6
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,462 commits to master branch, last one 5 days ago
pen-lang
pen pen-lang
7
444
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,820 commits to main branch, last one 18 hours ago
yeslogic
fathom yeslogic
14
258
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
229
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
151
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
13
118
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
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 9 months ago
DavidTimms
loxdown DavidTimms
4
110
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
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 2 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 6 months ago