• Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • L-BFGS

  • Referenced in 805 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • LIBSVM

  • Referenced in 1184 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • FreshML: programming with binders made simple. FreshML extends...
  • Python

  • Referenced in 2042 articles [sw14460]
  • Python is a widely used high-level, general...
  • ALGOL 60

  • Referenced in 666 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...
  • GitHub

  • Referenced in 2340 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...