A purely functional programming language with first class types
- compiler
- dependent-types
- hacktoberfest
Repository Index
69,259 visible repositories in the index
1–2 of 2 · Most stars
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed