• CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 634 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • TPTP

  • Referenced in 401 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Mosek

  • Referenced in 509 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • LIBSVM

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

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • DLMF

  • Referenced in 2889 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • LBFGS-B

  • Referenced in 431 articles [sw05142]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • MIRACL

  • Referenced in 30 articles [sw06009]
  • MIRACL (Multiprecision Integer and Rational Arithmetic C/C++ Library...
  • ChaCha

  • Referenced in 31 articles [sw07098]
  • ChaCha, a variant of Salsa20. ChaCha8 is a...
  • eBASH

  • Referenced in 22 articles [sw07103]
  • eBACS: ECRYPT benchmarking of cryptographic systems...
  • Triangle

  • Referenced in 378 articles [sw07890]
  • Triangle: A Two-Dimensional Quality Mesh Generator and...
  • Diehard

  • Referenced in 83 articles [sw08098]
  • The diehard tests are a battery of statistical...
  • PRESENT

  • Referenced in 182 articles [sw08313]
  • PRESENT is a new ultra lightweight block cipher...