• 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...