|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
compiler
programming-language
language
functional-programming
development
scripting
embedable
programming
formal-verification
theorem-proving
|
| Package |
Description |
Version |
|
umka-lang
☆
formula
1,914
|
Statically typed embeddable scripting language |
1.5.4 |
|
ats2-postiats
☆
formula
|
Programming language with formal specification features |
0.4.2 |
|
crystal
☆
formula
|
Fast and statically typed, compiled language with Ruby-like syntax |
1.18.2 |
|
erg
☆
formula
|
Statically typed language that can deeply improve the Python ecosystem |
0.6.53 |
|
gleam
☆
formula
|
Statically typed language for the Erlang VM |
1.13.0 |
|
gosu
☆
formula
|
Pragmatic language for the JVM |
1.18.7 |
|
nim
☆
formula
|
Statically typed compiled systems programming language |
2.2.6 |
|
typescript
☆
formula
|
Language for application scale JavaScript development |
5.9.3 |