Results 21 to 40 of 69
Sort by:

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