• Coq

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

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Matlab

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

  • Referenced in 417 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • BLAS

  • Referenced in 496 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • TPVM

  • Referenced in 9 articles [sw03347]
  • Multiparadigm distributed computing with TPVM Distributed concurrent computing...
  • Trilinos

  • Referenced in 407 articles [sw04028]
  • Each Trilinos package is a self-contained, independent...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • ESC/Java

  • Referenced in 137 articles [sw07217]
  • The Extended Static Checker for Java version 2...
  • Chaco

  • Referenced in 117 articles [sw09640]
  • Chaco: Software for Partitioning Graphs. Before a calculation...
  • Octagon

  • Referenced in 61 articles [sw13702]
  • The Octagon Abstract Domain Library is a free...
  • MAGIC

  • Referenced in 38 articles [sw14159]
  • An iterative framework for simulation conformance. MAGIC is...
  • Python

  • Referenced in 2042 articles [sw14460]
  • Python is a widely used high-level, general...
  • Ur/Web

  • Referenced in 8 articles [sw17454]
  • Ur/Web: a simple model for programming the web...
  • 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...