• ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Graphviz

  • Referenced in 90 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • CUDA

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

  • Referenced in 30 articles [sw03373]
  • The human brain is a recurrent neural network...
  • Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • FEniCS

  • Referenced in 840 articles [sw04314]
  • The FEniCS Project is a collaborative project for...
  • MPI

  • Referenced in 515 articles [sw06496]
  • Automatic differentiation through the use of hyper-dual...
  • SATCHMO

  • Referenced in 97 articles [sw06619]
  • SATCHMO: a theorem prover implemented in Prolog. The...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • DIMACS

  • Referenced in 571 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • LEGO is an interactive proof development system (proof...
  • Agda

  • Referenced in 207 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • SRILM

  • Referenced in 30 articles [sw09928]
  • SRILM – an extensible language modeling toolkit. SRILM is...
  • AToM3

  • Referenced in 32 articles [sw10092]
  • AToM3 : A tool for multi-formalism and meta...
  • Moses

  • Referenced in 25 articles [sw10650]
  • Moses: open source toolkit for statistical machine translation...