• Coq

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

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

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

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

  • Referenced in 481 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 350 articles [sw04028]
  • Each Trilinos package is a self-contained, independent...
  • Maude

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

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

  • Referenced in 118 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 37 articles [sw14159]
  • An iterative framework for simulation conformance. MAGIC is...
  • Python

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

  • Referenced in 7 articles [sw17454]
  • Ur/Web: a simple model for programming the web...
  • GitHub

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