Julia
The Julia Project · Programming languages & runtimes
Dynamically typed, JIT-compiled language for numerical and scientific computing that aims to combine high-level syntax with compiled-code speed
MITOpen sourceFreeLocalSelf-hostedNov 2, 2026
Directory
3 tools
Programming languages & runtimes remove filterstandard remove filterWrite papers remove filterClear all
Results
Lean
Lean FRO · Mathematical & statistical computing
Open-source functional programming language and interactive theorem prover with dependent types, the Mathlib mathematics library and VS Code tooling, stewarded by the Lean FRO
Apache-2.0FreeOpen sourceLocalNov 2, 2026
R
R Foundation / R Core Team · Programming languages & runtimes
Language and environment for statistical computing and graphics, with the CRAN package archive and a strong base in academic statistics and econometrics
GPL-2.0-or-laterOpen sourceFreeLocalSelf-hostedNov 2, 2026
Page 1 of 1
Share this view: /tools?category=programming-languages&use=write-papers&depth=standard