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
4 tools
Programming languages & runtimes remove filteropen-source 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
Python
Python Software Foundation · Programming languages & runtimes
General-purpose, dynamically typed programming language with a large standard library and the dominant ecosystem for data science and machine learning
PSF-2.0Open sourceFreeLocalSelf-hostedBroken
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&source=open-source